KI-Beratung Beta

Produktbild: Mathematics of Program Construction
Band 1837

Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.06.2000

Abbildungen

X, 262 p.

Herausgeber

Roland Backhouse + weitere

Verlag

Springer Berlin

Seitenzahl

262

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

417 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-67727-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.06.2000

Abbildungen

X, 262 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

262

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

417 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-67727-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Mathematics of Program Construction
  • Integrating Programming, Properties, and Validation.- Polytypic Values Possess Polykinded Types.- The Zip Calculus.- Separation and Reduction.- Reasoning about Non-terminating Loops Using Deadline Commands.- Quantum Programming.- Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series.- Proving Pointer Programs in Hoare Logic.- On Guarded Commands with Fair Choice.- Formal Methods and Dependability.- Liberating Data Refinement.- Theorems about Composition.- The Universal Resolving Algorithm: Inverse Computation in a Functional Language.- Metacomputation-Based Compiler Architecture.- A Metalanguage for Programming with Bound Names Modulo Renaming.