ZUM'97: The Z Formal Specification Notation

Autor:: Jonathan P. Bowen , Michael G. Hinchey , David Till
Wydawnictwo:: Springer-Verlag GmbH
Liczba stron:: 452
Format:: 235 mm x 155 mm x 24 mm
ISBN-13/EAN:: 9783540627173
ISBN-10:: 3540627170
Rok wydania:: marzec 1997 r.
Waga:: 678 g
Realizacja:: ok. 7-10 dni + wysyłka

ZUM'97: The Z Formal Specification Notation, marzec 1997 r. : 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. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.

Książki kupowane lub oglądane razem z pozycją "ZUM'97: The Z Formal Specification Notation":

Disconnected Operation in a Distributed File System James J. Kistler
261.00 zł This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral
Computer Science Logic Jerzy Tiuryn, Leszek Pacholski
397.00 zł This volume contains revised refereed versions of the best papers presented during the CSL '94
Computational Architectures Integrating Neural and Symbolic Processes Ron Sun, Lawrence A. Bookman
1242.00 zł Computational Architectures Integrating Neural and Symbolic Processes: A Perspective on the State of
Logic Programming and Automated Reasoning Frank Pfenning
290.00 zł This volume presents the proceedings of the 5th International Conference on Logic Programming and
Deductive and Object-Oriented Databases stefano Ceri, Katsumi Tanaka, Shalom Tsur
335.00 zł This volume contains the proceedings of the ThirdInternational Conference on Deductive and
LOGIDATA+: Deductive Databases with Complex Objects Paolo Atzeni
261.00 zł This book presents a collection of coordinated scientificpapers describing the work conducted and the
Maximum Entropy and Bayesian Methods C. R. Smith, G. Erickson, Paul O. Neudorfer
1339.00 zł Bayesian probability theory and maximum entropy methods are at the core of a new view of scientific
Distributed Algorithms Sam Toueg, Paul G. Spirakis, Lefteris Kirousis
267.00 zł This volume contains the proceedings of the fifthInternational Workshop on Distributed Algorithms (WDAG