Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science - Joseph Sifakis - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540521488 - January 10, 1990
In case cover and title do not match, the title is correct

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition

Joseph Sifakis

Price
€ 60.99

Ordered from remote warehouse

Expected delivery Jun 17 - 26

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition

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.

384 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 10, 1990
ISBN13 9783540521488
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 384
Dimensions 155 × 233 × 20 mm   ·   557 g
Editor Sifakis, Joseph
Show all

More by Joseph Sifakis

See all of Joseph Sifakis ( e.g. Paperback Book and Hardcover Book )