Books by Formal Approaches to Computing and Information Technology (FACIT)
Proof in VDM: A Practitioners Guide
John Fitzgerald, Juan C. Bicarregui, Richard Moore, Brian Ritchie, Peter A. Lindsay
-30% with code BOOKS
In stock at our supplier
Notations for Software Design
Loe M. G. Feijs, Cornelis A. Middelburg, Hans B. M. Jonkers
-30% with code BOOKS
In stock at our supplier
Formal Methods and Object Technology
-30% with code BOOKS
In stock at our supplier
The B Language and Method: A Guide to Practical Formal Development
-30% with code BOOKS
In stock at our supplier
A Theory and Practice of Program Development
-30% with code BOOKS
In stock at our supplier
High-Integrity System Specification and Design
Jonathan P. Bowen, Michael G. Hinchey
-30% with code BOOKS
In stock at our supplier
Software Specification Methods: An Overview Using a Case Study
-30% with code BOOKS
In stock at our supplier
Specification Case Studies in RAISE
-30% with code BOOKS
In stock at our supplier
Program Development by Refinement: Case Studies Using the B Method
-30% with code BOOKS
In stock at our supplier
Industrial-Strength Formal Methods in Practice
-30% with code BOOKS
In stock at our supplier