ISBN: 9780333992814 - formal software development: from vdm to java (22 resultados)

paperback. Condición: Fine. Unread and like new. Cover different to Amazon picture, this one has a green cover and white writing.

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condición: 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.

Condición: Used. pp. 400.

Condición: Used. pp. 400.

Condición: Used. pp. 400.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: Very Good.

Condición: New.

Condición: New. In English.

Condición: As New. Unread book in perfect condition.

Kartoniert / Broschiert. Condición: 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.

Paperback. Condición: Brand New. 256 pages. 9.68x7.44x0.71 inches. In Stock.

Taschenbuch. Condición: 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.…

Condición: 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. …

Condición: 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. . . . . …

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Paperback. Condición: new. Paperback. 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. This software engineering text 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Paperback. Condición: new. Paperback. 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. This software engineering text 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…