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

187,99 € UVP 213,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

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