Verwandte Artikel zu Formal Software Development: From VDM to Java
Inhaltsangabe
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorinnen und Autoren
QUENTIN CHARATAN is Principal Lecturer at the University of East London, UK.
AARON KANS is Senior Lecturer at the University of East London, UK.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagRed Globe Press
- Erscheinungsdatum2003
- ISBN 10 0333992814
- ISBN 13 9780333992814
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten252
- Kontakt zum HerstellerNicht verfügbar
EUR 10,70
EUR 4,15 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 54,42
EUR 2,30 für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Formal Software Development: From VDM to Java
Beispielbild für diese ISBN
Formal Software Development: From VDM to Java
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. Bestandsnummer des Verkäufers GOR004121054
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Software Development: From VDM to Java
Anbieter: BookstoYou, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good. Book covers have light shelf wear. Bestandsnummer des Verkäufers mon0000009765
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Software Development
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 400. Bestandsnummer des Verkäufers 181788279
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Software Development
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 400. Bestandsnummer des Verkäufers 261788285
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Software Development
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 400. Bestandsnummer des Verkäufers 7141026
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Software Development: From VDM to Java
Anbieter: WYEMART LIMITED, HEREFORD, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers mon0000061268
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Software Development
Print-on-DemandAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9780333992814
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Software Development: From VDM to Java
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780333992814_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Software Development
Print-on-DemandAnbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9780333992814
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Software Development
Verlag:
Macmillan Education UK, 2003
ISBN 10: 0333992814
ISBN 13: 9780333992814
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Unique text that fills the gap between formal specifications and software implementationsIdeal first course text as assumes no previous knowledge of formal methodsIncludes end-of-chapter exercises and case study material. Bestandsnummer des Verkäufers 446889236
Anzahl: Mehr als 20 verfügbar