Merkzettel Warenkorb
  • Produktbild: Deductive Program Design
  • Produktbild: Deductive Program Design
Band 152 - 12%

Deductive Program Design

Aus der Reihe NATO ASI Subseries F:
12% sparen

187,99 € UVP 213,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

18.06.1996

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

470

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

836 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-3-540-60947-6

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

18.06.1996

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

470

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

836 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-3-540-60947-6

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: [email protected]

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Deductive Program Design
  • Produktbild: Deductive Program Design
  • On Traditions in Marktoberdorf (Banquet Speech).- 0. Examples of Proof Design.- Fibonacci and the Greatest Common Divisor (EWD1077).- The Balance and the Coins (EWD1083).- Bulterman’s Theorem on Shortest Trees (EWD1131).- A Prime is in at Most 1 Way the Sum of 2 Squares (EWD1155a).- A Bagatelle on Euclid’s Algorithm (EWD1158).- On Two Equations that Have the Same Extreme Solution (EWD1168).- An Alternative of the ETAC to EWD1163 (EWD1169).- The Argument about the Arithmetic Mean and the Geometric Mean, Heuristics Included (EWD1171).- 1. Mathematical Models of Programming.- Interaction Categories and the Foundations of Typed Concurrent Programming.- Mathematical Models for Computing Science.- 2. Techniques of Program Derivation.- The Algebra of Programming.- Data Refinement and the Transform.- 3. Logic of Concurrency.- On TLA as a Logic.- Specification and Refinement of a Buffer of Length One.- Model Checking.- Notes on Proof Outline Logic.- 4. Method of Hardware Design.- Proof and Design.- A Program Transformation Approach to Asynchronous VLSI Design.