The Way of Z : Practical Programming with Formal Methods
Book Details
Format
Paperback / Softback
ISBN-10
0521559766
ISBN-13
9780521559768
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Nov 28th, 1996
Print length
372 Pages
Weight
668 grams
Dimensions
19.40 x 29.90 x 2.70 cms
Product Classification:
Programming & scripting languages: generalSoftware EngineeringMathematical theory of computation
Ksh 11,250.00
Manufactured on Demand
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in real projects and showing how to implement them in the C programming language, through case studies in safety-critical systems and other examples from computer graphics, word processing, databases, and object-oriented programming.
Get The Way of Z by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
