The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Formal Software Development: From VDM to Java

Formal Software Development: From VDM to Java

by QuentinCharatan (Author), Aaron Kans (Author)

  • New

    Paperback 2003

    $109.53
Synopsis

This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software.

$109.53

Quantity

20+ in stock

More Information

Format: Paperback
 Pages: 256
 Publisher: Palgrave Macmillan
Published: 09 Sep 2003
ISBN 10: 0333992814
ISBN 13: 9780333992814