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 Jim Purtilo, John D. Gannon 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 200 pages.
Customers Who Bought This Also Bought
User Story Mapping
KSh 5,750.00
Intelligent Systems
KSh 30,950.00
Programming Language Pragmatics
KSh 14,650.00
AI Based Advancements in Biometrics and its Applications
KSh 10,100.00
Python Programming
KSh 9,900.00
Pro Java 6 3D Game Development
KSh 9,250.00
Advanced Information Systems Engineering
KSh 16,200.00
Research and Evidence in Software Engineering
KSh 30,950.00
Software Engineering and Environment
KSh 8,100.00
The Future of EU Agricultural Markets by AGMEMOD
KSh 16,200.00
Shaping the Future of ICT
KSh 33,850.00
Netcentric System of Systems Engineering with DEVS Unified Process
KSh 52,200.00
