ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Lecture Notes in Computer Science)

von: Jonathan P. Bowen · Steve Dunne · Andy Galloway · Steve King Springer Berlin Heidelberg · 2000 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) EAN=ISBN-13: 978-3-540-67944-8 ISBN-10: 3-540-67944-8