On the Refinement Calculus. Dieser Artikel ist nicht verfügbar.
Sprache: Englisch
Verlag: Springer, 1994
- Softcover
- Neu
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in mit 5 Sternen
Verkäufer:in bei AbeBooks seit 6. April 2009
Nicht verfügbar
Softcover
Zustand: Neu
EUR 64,10
Bestandsnummer des Verkäufers 20184596-n
- Titel
- On the Refinement Calculus
- Autor
- Morgan, Carroll (EDT); Vickers, Trevor (EDT)
- Verlag
- Springer
- Erscheinungsjahr
- 1994
- Zustand
- New
- Einband
- Softcover
- Sprache
- Englisch
- ISBN-10
- 3540199314
- ISBN-13
- 9783540199311
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.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Suchergebnisse für On the Refinement Calculus
Es sind 2 weitere Exemplare dieses Buches vorhanden.Alle Ergebnisse anzeigen