ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science (967), Band 967)

Specification

von: Jonathan P. Bowen · Michael G. Hinchey

Taschenbuch

EAN=ISBN-13: 978-3-540-60271-2

ISBN-10: 3-540-60271-2

Springer · 2008