ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science (1493), Band 1493)

International

von: Jonathan P. Bowen · Andreas Fett · Michael G. Hinchey

Taschenbuch

ISBN-13: 978-3-540-65070-6

ISBN-10: 3-540-65070-9

Springer · 2008