ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings PDF
Edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider
Part of the Lecture Notes in Computer Science series
- Information
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:25/04/2005
- Category:
- ISBN:9783540320074
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:25/04/2005
- Category:
- ISBN:9783540320074