Refine Your Search
Book List
1
-
The way of Z : practical programming with formal methods / Jonathan Jacky.
- 005.12 J149
- Jacky, Jonathan.
- Cambridge University Press,
- 1997.
- Cambridge ; New York, NY, USA :