ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science (1212), Band 1212)

Specification

von: Jonathan P. Bowen · David Till · Michael G. Hinchey

Taschenbuch

EAN=ISBN-13: 978-3-540-62717-3

ISBN-10: 3-540-62717-0

Springer · 2008