Items related to Object Orientation in Z

Object Orientation in Z ISBN 13: 9781447135531

Object Orientation in Z - Softcover

 
9781447135531: Object Orientation in Z
Softcover
ISBN 10: 1447135539 ISBN 13: 9781447135531
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

1 Why an Object Oriented Z?.- 2 Example Specifications in Z.- 3 Hall's Style.- 4 Z Expression of Refinable Objects.- 5 MooZ Case Studies.- 6 Object-Z.- 7 OOZE.- 8 Schuman & Pitt Approach.- 9 Z++.- 10 ZEST.- 11 Specification in Fresco.- A Zand HOOD.- B Bibliography.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
1447135539
ISBN 13 
9781447135531
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540197782: Object Orientation in Z (Workshops in Computing)

Featured Edition

ISBN 10:  3540197788 ISBN 13:  9783540197782
Publisher: Springer, 1992
Softcover