Software Specification : A Comparison of Formal Methods
Book Details
Format
Paperback / Softback
ISBN-10
156750034X
ISBN-13
9781567500349
Publisher
Intellect
Imprint
Intellect Books
Country of Manufacture
GB
Country of Publication
GB
Publication Date
May 1st, 1995
Print length
200 Pages
Product Classification:
Software Engineering
Ksh 4,300.00
Re-Printing
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.
Get Software Specification by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Intellect and it has pages.
