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

192,99 € UVP 219,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

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: GPSR Kontakt

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: 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.