Gesamtpreis (1 Artikel Artikel):
Versandziel:
jonathan jacky (17 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (17)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (9)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Gut oder Befriedigend (7)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (2)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
The Way of Z: Practical Programming with Formal Methods
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521559766 ISBN 13: 9780521559768
Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
The Way of Z: Practical Programming with Formal Methods
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521559766 ISBN 13: 9780521559768
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 3,30
EUR 6,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. 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.
-
The Way of Z : Practical Programming with Formal Methods
Sprache: Englisch
Verlag: Cambridge University Press, 1996
ISBN 10: 0521559766 ISBN 13: 9780521559768
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 5,45
EUR 5,73 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: 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.
-
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Directions and Implications of Advanced Computing. Volume 1.
Sprache: Englisch
Verlag: Ablex Publishing Corporation, Norwood, New Jersey., 1989
ISBN 10: 0893915580 ISBN 13: 9780893915582
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Very Good. Hardcover 1989, vol 1 edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Covers and text in very good condition. {223 pages}.
-
Model-Based Softwre Test Anlys w C#
Verlag: Cambridge University Press
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Model - Based Software Testing and Analysis with C#
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 16,67
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 368.
-
Model-Based Software Testing And Analysis With C++
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Model-Based Software Testing and Analysis with C#
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 51,17
EUR 13,74 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Model-Based Software Testing and Analysis with C#
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 74,26
EUR 14,33 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock.
-
The Way of Z: Practical Programming with Formal Methods
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521559766 ISBN 13: 9780521559768
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,37
EUR 13,74 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Model-based Software Testing and Analysis with C#
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Teaches new methods for specifying, analyzing and testing software that increase automation in each step. Num Pages: 366 pages, 2 tables 43 exercises. BIC Classification: UMZ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 228 x 177 x 17. Weight in Grams: 590. . 2007. Illustrated. paperback. . . . . Books ship from the US and Ireland.
-
The Way of Z: Practical Programming with Formal Methods
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521559766 ISBN 13: 9780521559768
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 111,14
EUR 9,03 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997. Num Pages: 372 pages, Illustrations. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 194 x 299 x 27. Weight in Grams: 668. . 1997. Illustrated. paperback. . . . . Books ship from the US and Ireland.
-
The Way of Z : Practical Programming with Formal Methods
Sprache: Englisch
Verlag: Cambridge University Press, 2010
ISBN 10: 0521559766 ISBN 13: 9780521559768
Zustand: Gut. Zustand: Gut | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
-
The Way of Z : Practical Programming with Formal Methods
Sprache: Englisch
Verlag: Cambridge University Press, 1997
ISBN 10: 0521559766 ISBN 13: 9780521559768
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
-
THE WAY OF Z. Practical Programming with Formal Methods.
Anbieter: Antiquariaat Van Veen, Veelerveen, Niederlande
Verkäuferbewertung 4 von 5 Sternen
New York, Cambridge University Press, 2001. 1st reprinted 350 pages. Pb . Cover with minor edgewear. very good condition.
-
Model-Based Softwre Test Anlys w C
Verlag: Cambridge University Press
ISBN 10: 0521687616 ISBN 13: 9780521687614
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.
