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