Vor Ort
Merkzettel Warenkorb
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

Aus der Reihe Lecture Notes in Computer Science

51,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

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.