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 ... Notes in Computer Science, Band 1878)

Specification

von: Jonathan P. Bowen · Steve King · Steve Dunne · Andy Galloway

Taschenbuch

EAN=ISBN-13: 978-3-540-67944-8

ISBN-10: 3-540-67944-8

Springer · 2008