Erweiterte
Suche ›

On the Refinement Calculus

Springer Berlin,
Buch
93,08 € Lieferbar in 5-7 Tagen

Kurzbeschreibung

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

Details
Schlagworte

Titel: On the Refinement Calculus
Autoren/Herausgeber: Carroll Morgan, Trevor Vickers (Hrsg.)
Aus der Reihe: Formal Approaches of Computing and Information Technology (FACIT)
Ausgabe: 1992

ISBN/EAN: 9783540199311

Seitenzahl: 159
Format: 23,5 x 15,5 cm
Produktform: Taschenbuch/Softcover
Gewicht: 280 g
Sprache: Englisch

buchhandel.de - Newsletter
Möchten Sie sich für den Newsletter anmelden?


Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht