Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.
"synopsis" may belong to another edition of this title.
Book Description The McGraw-Hill Company. Book Condition: New. pp. xvii + 398 , Illus. Bookseller Inventory # 58142505
Book Description Mcgraw Hill Book Co Ltd, 1994. Paperback. Book Condition: New. Bookseller Inventory # DADAX0077079078
Book Description Mcgraw Hill Book Co Ltd, 1994. Paperback. Book Condition: New. New item. Bookseller Inventory # QX-199-87-1448001