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

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

by Andreas Fett (Author), Jonathan P. Bowen (Author), Michael G. Hinchey (Author)

Synopsis

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R.

$91.62

Save:$6.80 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 440
Edition: 1998
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540650709
ISBN 13: 9783540650706