Zum '95
Jonathan P. Bowen, Michael G. Hinchey
₹5,296
Zum'97
The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Proceedings
by Jonathan P. Bowen, Michael G. Hinchey, David Till
₹5,598
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97 , held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540627173
- ISBN-10
- 3540627170
- Authors
- Jonathan P. Bowen, Michael G. Hinchey, David Till
- Publisher
- Springer
- Condition
- New
More by Jonathan P. Bowen and related titles
Computer Security - Esorics 2003
Einar Snekkenes, Dieter Gollmann
₹5,552
Networked Digital Technologies
Simon Fong
₹5,464
Linear Triatomic Molecules
G. Guelachvili, K. N. Rao
₹5,355
Reale Optionswerte in Der Umweltökonomie
Gerd R. Nicodemus
₹3,508
Computer Vision - ECCV 2010
Kostas Daniilidis, Petros Maragos, Nikos Paragios
₹4,458
Pediatric Ultrasound
Michael Riccabona, Brian Coley, Andreas Gamillscheg
₹4,718
Palliativpflege Bei Demenz
Monique Weissenberger-Leduc
₹3,873
Migräne
Franz B. M. Ensink, M. T. Bautz, Dieter Soyka
₹5,330
Field and Galois Theory
Patrick Morandi
₹4,143
Higher Order Logic Theorem Proving and Its Applications
Jeffrey J. Joyce, Carl-Johan H. Seger
₹5,642
Discrete Geometry for Computer Imagery
Isabelle Debled-Rennesson, Eric Domenjoud, Bertrand Kerautret
₹5,669