An Introduction to Discrete Mathematics, Formal System Specification, and Z by D
95,11 €
Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering design.
Jetzt bei Ebay:
