Take a photo of a barcode or cover
Read With Others
Book Information
384 pages • paperback • 1 edition
ISBN/UID: 9783540521488
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 10 Jan 1990
Description
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 t...
Community Reviews
Content Warnings
384 pages • paperback
ISBN/UID: 9783540521488
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 10 Jan 1990
Description
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 t...
Community Reviews
Content Warnings