Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings ... Notes in Computer Science (2651), Band 2651)
von
Didier Bert
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-40253-4
ISBN-10: 3-540-40253-5
Springer
· 2003
