Jonathan P Bowen
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 Jonathan P Bowen Annotated edition

Name: 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
Price: 106.49 USD
Availability: OutOfStock
Author: Jonathan P Bowen

Price

$ 106.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

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

Jonathan P Bowen

Annotated edition

The papers in this text cover applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. The book includes an annotated Z bibliography listing 544 entries.

583 pages, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	August 23, 1995
ISBN13	9783540602712
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	583
Dimensions	156 × 234 × 30 mm · 830 g
Language	German
Editor	Bowen, Jonathan. P.
Editor	Hinchey, Michael G.