ISBN: 9780139785290 - Z. Notation Earn 27 points
Free delivery on orders over £20 in the UK

Z. Notation

A Reference Manual

J.M. Spivey

ISBN: 9780139785290
Format: Paperback
Publisher: Pearson Education Limited
Edition: 2nd Revised edition
View previous edition

This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.

£26.95
RRP £26.95

Availability: Out of print
Free UK postage

Buy used: 4 new & used available from £5.54

Wishlist:

This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.



ISBN: 9780201633610 - Design Patterns

Design Patterns

Erich Gamma, Richard Helm, Ralph Johnson…

£41.99

ISBN: 9780077109080 - Object-Oriented Software Engineering

Object-Oriented Software Engineering

Timothy C. Lethbridge, Robert Laganiere

£43.99

ISBN: 9780134787022 - An Introduction to Formal Specification and Z

An Introduction to Formal Specification …

Ben Potter, etc., Jane Sinclair (Program…

£21.95

ISBN: 9780007145416 - Holistic Herbal

Holistic Herbal

David Hoffman

£14.99