Software Specification : A Comparison of Formal Methods
Book Details
Format
Hardback or Cased Book
ISBN-10
1567500331
ISBN-13
9781567500332
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 5,200.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.