Vdm formal software development (13 Ergebnisse)

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 2 (weekend sale item)* 580 pp., Paperback, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

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

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 2 (weekend sale item)* 430 pp., Hardback, rebound in buckram , ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

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.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.…

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 256 pages. 9.68x7.44x0.71 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.…

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.…

Zustand: 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. …