Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.
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