search for books and compare prices
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989 : Proceedings
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Paperback
Book cover for 9780387521480
 
from Springer Verlag (March 1, 1990)
9780387521480 | details & prices | List price $62.95
About: This volume contains the proceedings of a workshop held in Grenoble in June 1989.