Book titles in this series
-
-
A Theory and Practice of Program Development
- Authors:
-
- Derek J. Andrews
- Copyright: 1997
Available Renditions
- Soft cover
- eBook
-
Formal Methods and Object Technology
- Editors:
-
- Stephen J. Goldsack
- Stuart J.H. Kent
- Copyright: 1996
Available Renditions
- Soft cover
- eBook
-
Formal Methods in Human-Computer Interaction
- Editors:
-
- Philippe Palanque
- Fabio Paterno
- Copyright: 1998
Available Renditions
- Soft cover
- eBook
-
Formal Object-Oriented Development
- Authors:
-
- Kevin Lano
- Copyright: 1995
Available Renditions
- Soft cover
- eBook
-
High-Integrity System Specification and Design
- Authors:
-
- Jonathan P. Bowen
- Michael G. Hinchey
- Copyright: 1999
Available Renditions
- Soft cover
- eBook
-
Industrial-Strength Formal Methods in Practice
- Editors:
-
- Michael G. Hinchey
- Jonathan P. Bowen
- Copyright: 1999
Available Renditions
- Soft cover
- eBook
-
Notations for Software Design
- Authors:
-
- Loe M.G. Feijs
- Hans B.M. Jonkers
- Cornelis A. Middelburg
- Copyright: 1994
Available Renditions
- Soft cover
- eBook
-
On the Refinement Calculus
- Editors:
-
- Carroll Morgan
- Trevor Vickers
- Copyright: 1992
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Program Development by Refinement
Case Studies Using the B Method
- Editors:
-
- Emil Sekerinski
- Kaisa Sere
- Copyright: 1999
Available Renditions
- Soft cover
- eBook