We specialize in hard to find items
Shop By
All Categories
Specification of Software Systems (Texts in Computer Science)
Product ID : 48919858
Share Tweet
Galleon Product ID
48919858
No price yet.
Price not yet available.
Pay with
About Specification Of Software Systems
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.
