paperback. Condition: Fine. Unread and like new. Cover different to Amazon picture, this one has a green cover and white writing.
Condition: 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.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Condition: New.
Condition: Very good.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 81.52
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Paperback. Condition: Like New. Like New. book.
Condition: As New. Unread book in perfect condition.
Condition: 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.
Language: English
Published by Bloomsbury Publishing PLC Sep 2003, 2003
ISBN 10: 0333992814 ISBN 13: 9780333992814
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: 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. . . . .
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
£ 94.70
Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.