Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems

Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems: An Object Petri-net Based Approach

Paperback Published on: 20/03/2002
£16.60
No reviews yet, be the first
Free UK delivery on orders over £25, otherwise £2.99
Not available
This product is currently unavailable
Make and edit your lists in your account
No stock available in any shop.
Not available
This product is currently unavailable
No stock available in any shop.

Publisher information

  • Publisher: Shaker Verlag GmbH, Germany
  • ISBN: 9783826599712
  • Number of pages: 247
  • Dimensions: 210 x 148 mm

Customer Reviews

You may also like...

Information
Luciano Floridi
£9.99
Quantum Computing since Democritus
Scott Aaronson
£48.00
How We Became Posthuman
N. Katherine Hayles
£21.00
Pattern Recognition and Machine Learning
Christopher M. Bishop
£74.99
All of Statistics
Larry Wasserman
£49.99
Dark Pools
Scott Patterson
£12.99
Mathematical Biology II
James D. Murray
£96.50
Research Methods in Human-Computer Interaction
Jonathan Lazar
£56.95
The Mythical Man-Month
Understanding Beliefs
Nils J. Nilsson
£16.99
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
£60.00
Introducing Artificial Intelligence
Henry Brighton
£8.99
Polygon Mesh Processing
Mario Botsch
£69.99
Artificial Intelligence
Jack Copeland
£37.95
The Computer and the Brain
John von Neumann
£12.99
Why Greatness Cannot Be Planned
Kenneth O. Stanley
£24.99