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 82,51
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 400.
Zustand: Very good.
EUR 105,08
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 152,53
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 256 pages. 9.68x7.44x0.71 inches. In Stock.
EUR 178,63
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: Macmillan Education UK 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.