Formal Software Development: From VDM to Java (Paperback - 2003)

In stock

Only 2 left

SKU

9780333992814_SAP

Be the first to review this product

Special Price ₹4,149.00 Regular Price ₹5,532.00

Ships in 1-2 Days!

Skip to the end of the images gallery

Skip to the beginning of the images gallery

About the Book
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.

More Information
ISBN13	9780333992814
Product Name	Formal Software Development: From VDM to Java (Paperback - 2003)
Price	₹5,532.00
Original Price	EUR 59.99
Author	Quentin Charatan and Aaron Kans
Publisher	Palgrave Macmillan
Publication Year	2003
Subject	Computer Science and Information Technology
Binding	Paperback
Language	English
Pages	400
Weight	0.476000