Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey

ZUM '98: The Z Formal Specification Notation - 1998 - Springer Berlin Heidelberg 1998 - Lecture Notes in Computer Science .

9783540496762


Computer Science