ZB 2000 : Formal Specification and Development in Z and B
Jonathan P. Bowen
Unavailable
Format: Book (Paperback)
£81.00
£53.43
Unavailable
Book (Paperback)
IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
Keijiro Araki
Download Now
Format: eBook (PDF)