Anbieter: BookstoYou, Hay-on-Wye, HEREF, Vereinigtes Königreich
EUR 11,31
Anzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Fine. Unread and like new. Cover different to Amazon picture, this one has a green cover and white writing.
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.
EUR 77,82
Anzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 400.
Zustand: Used. pp. 400.
Zustand: Very good.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 97,34
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 108,11
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / 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.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 154,86
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 256 pages. 9.68x7.44x0.71 inches. In Stock.
EUR 181,59
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site. Num Pages: 256 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 191 x 246 x 15. Weight in Grams: 476. . 2003. Paperback. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Bloomsbury Publishing PLC Sep 2003, 2003
ISBN 10: 0333992814 ISBN 13: 9780333992814
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - 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.