Formal Specification using Z (Grassroots) - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Book by Lightfoot David
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Críticas:
'[The first edition of] David Lightfoot's Formal Specification Using Z is...an ideal introduction to Z and its use.' - New Scientist
Reseña del editor:
Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification.
Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.
Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagRed Globe Press
- Erscheinungsdatum2000
- ISBN 10 0333763270
- ISBN 13 9780333763278
- EinbandTapa blanda
- Auflage2
- Anzahl der Seiten180
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Formal Specification using Z (Grassroots)
Verlag:
Red Globe Press
(2000)
ISBN 10: 0333763270
ISBN 13: 9780333763278
Gebraucht
Paperback
Anzahl: 2
Anbieter:
Bewertung
Buchbeschreibung Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Artikel-Nr. GOR001182436
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 0,92
Währung umrechnen
Foto des Verkäufers
Formal Specification using Z (Grassroots)
Verlag:
Palgrave Macmillan
(2000)
ISBN 10: 0333763270
ISBN 13: 9780333763278
Gebraucht
Softcover
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Zustand: Good. Most items will be dispatched the same or the next working day. Artikel-Nr. wbb0023391439
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 0,92
Währung umrechnen
Beispielbild für diese ISBN
Formal Specification using Z (Grassroots)
Verlag:
Palgrave Macmillan
(2000)
ISBN 10: 0333763270
ISBN 13: 9780333763278
Gebraucht
Paperback
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Paperback. Zustand: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover. Grubby book may have mild dirt or some staining, mostly on the edges of pages. Artikel-Nr. CHL9485477
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 2,32
Währung umrechnen
Beispielbild für diese ISBN
Formal Specification Using Z
Anbieter:
Bewertung
Buchbeschreibung Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780333763278. Artikel-Nr. 9100123
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 3,03
Währung umrechnen
Beispielbild für diese ISBN
Formal Specification Using Z
Anbieter:
Bewertung
Buchbeschreibung Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780333763278. Artikel-Nr. 9100124
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 3,03
Währung umrechnen
Beispielbild für diese ISBN
Formal Specification Using Z
Anbieter:
Bewertung
Buchbeschreibung Zustand: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780333763278. Artikel-Nr. 9405637
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 3,03
Währung umrechnen
Beispielbild für diese ISBN
Formal Specification Using Z
Anbieter:
Bewertung
Buchbeschreibung Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9780333763278. Artikel-Nr. 9405635
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 3,03
Währung umrechnen