DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. [Berlin, Germany] [Publication Year: 1990]
ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. [Berlin, Germany] [Publication Year: 1990]
ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer-Verlag, Berlin] Softcover Lecture Notes in Computer Science 407; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and pen inscription on title page; library catalogue sticker on colophon. Small scuffs from sticker removal across the spine head. Sound, clean book with tight binding. ADG. [Didcot, Oxfordshire, OXON, United Kingdom] [Publication Year: 1990]
Berlin: Springer-Verlag, Date: 1990. Lecture Notes in Computer Science 407; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and pen inscription on title page; library catalogue sticker on colophon. Small scuffs from sticker removal across the spine head. Sound, clean book with tight binding. ADG.. paperback. Very Good/No Dust Jacket. Ex-Library. 1990. Springer-Verlag ISBN 3540521488 9783540521488 [GB]
ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer-Verlag, Berlin] Softcover Lecture Notes in Computer Science 407; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and pen inscription on title page; library catalogue sticker on colophon. Small scuffs from sticker removal across the spine head. Sound, clean book with tight binding. ADG. [Didcot, Oxfordshire, OXON, United Kingdom] [Publication Year: 1990]
Springer, Date: 1990-02-14. Paperback. Good. Ex-Library paperback with the usual markings, attachments, and library wear. Text block clean and unmarked. Tight binding. 1990. Springer ISBN 3540521488 9783540521488 [US]
Springer 1990-02-14 1990 ed. Paperback Good Ex-Library paperback with the usual markings, attachments, and library wear. Text block clean and unmarked. Tight binding.
ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong : Springer] Softcover VII, 382 S. : graph. Darst. ; 25 cm Sprache: Deutsch Gewicht in Gramm: 969 [Rüsselsheim am Main, Germany] [Publication Year: 1990]
ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer] Softcover SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. [Portland, ME, U.S.A.] [Publication Year: 1990]
ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong : Springer] Softcover VII, 382 S. : graph. Darst. ; 25 cm Sprache: Deutsch Gewicht in Gramm: 969 [Rüsselsheim am Main, Germany] [Publication Year: 1990]
ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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. [Einbeck, Germany] [Publication Year: 1990]
ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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. [Einbeck, Germany] [Publication Year: 1990]
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings. ISBN 3540521488 9783540521488 [GB]
Paperback / softback. New. 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. ISBN 3540521488 9783540521488 [GB]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.