Books > Computing & IT > General theory of computing > Systems analysis & design
|
Buy Now
Automatic Verification Methods for Finite State Systems - International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Paperback, 1990 ed.)
Loot Price: R1,745
Discovery Miles 17 450
|
|
Automatic Verification Methods for Finite State Systems - International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Paperback, 1990 ed.)
Series: Lecture Notes in Computer Science, 407
Expected to ship within 10 - 15 working days
|
This volume contains the proceedings of a workshop held in Grenoble
in June 1989. This was the first workshop entirely devoted to the
verification of finite state systems. The workshop brought together
researchers and practitioners interested in the development and use
of methods, tools and theories for automatic verification of finite
state systems. The goal at the workshop was to compare verification
methods and tools to assist the applications designer. The papers
in this volume review verification techniques for finite state
systems and evaluate their relative advantages. The techniques
considered cover various specification formalisms such as process
algebras, automata and logics. Most of the papers focus on
exploitation of existing results in three application areas:
hardware design, communication protocols and real-time systems.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.