Verwandte Artikel zu Software Development With Z: A Practical Approach to...
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series) - Softcover
Inhaltsangabe
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Software Development With Z: A Practical Approach to...
Beispielbild für diese ISBN
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Artikel-Nr. 00107687207
Gebraucht kaufen
EUR 5,35
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Artikel-Nr. rev2064211904
Gebraucht kaufen
EUR 1,97
EUR 8,16 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Verlag:
Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Gebraucht
Softcover
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 13520534-6
Gebraucht kaufen
EUR 5,62
EUR 5,83 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
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. GOR001729493
Gebraucht kaufen
EUR 11,61
EUR 6,53 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar