Verwandte Artikel zu Using Z: Specification, Refinement, and Proof (Prentice-Hall...
Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science): Specification Proof Refinement - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Book by Woodcock Jim Woodcock J C P Davies Jim
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor:
This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagPrentice Hall
- Erscheinungsdatum1996
- ISBN 10 0139484728
- ISBN 13 9780139484728
- EinbandTapa blanda
- Anzahl der Seiten408
- Bewertung
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 51,28
Versand:
EUR 3,03
Innerhalb der USA
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Anbieter:
Bewertung
Buchbeschreibung Paperback. Zustand: new. Buy for Great customer experience. Bestandsnummer des Verkäufers GoldenDragon0139484728
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 51,28
Währung umrechnen
Beispielbild für diese ISBN
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Anbieter:
Bewertung
Buchbeschreibung Paperback. Zustand: new. New. Bestandsnummer des Verkäufers Wizard0139484728
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 53,58
Währung umrechnen
Beispielbild für diese ISBN
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Anbieter:
Bewertung
Buchbeschreibung Zustand: new. Bestandsnummer des Verkäufers FrontCover0139484728
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 93,39
Währung umrechnen
Beispielbild für diese ISBN
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Anbieter:
Bewertung
Buchbeschreibung Paperback. Zustand: new. New Copy. Customer Service Guaranteed. Bestandsnummer des Verkäufers think0139484728
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 93,45
Währung umrechnen
Beispielbild für diese ISBN
USING Z: SPECIFICATION, REFINEME
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. New. In shrink wrap. Looks like an interesting title! 1.5. Bestandsnummer des Verkäufers Q-0139484728
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 93,01
Währung umrechnen
Beispielbild für diese ISBN
Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Anbieter:
Bewertung
Buchbeschreibung Paperback. Zustand: new. New. Fast Shipping and good customer service. Bestandsnummer des Verkäufers Holz_New_0139484728
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 97,95
Währung umrechnen