Raamatud 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
-40% koodiga BOOKS
Meie tarnija laos
Notations for Software Design
Loe M. G. Feijs, Cornelis A. Middelburg, Hans B. M. Jonkers
-40% koodiga BOOKS
Meie tarnija laos
The B Language and Method: A Guide to Practical Formal Development
-40% koodiga BOOKS
Meie tarnija laos
A Theory and Practice of Program Development
-40% koodiga BOOKS
Meie tarnija laos
High-Integrity System Specification and Design
Jonathan P. Bowen, Michael G. Hinchey
-40% koodiga BOOKS
Meie tarnija laos
Software Specification Methods: An Overview Using a Case Study
-40% koodiga BOOKS
Meie tarnija laos
Program Development by Refinement: Case Studies Using the B Method
-40% koodiga BOOKS
Meie tarnija laos
Industrial-Strength Formal Methods in Practice
-40% koodiga BOOKS
Meie tarnija laos