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)

102.94 EUR 4% Off 106.99 EUR

Marke: Springer