Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Automatic Verification Methods for Finite State Systems

Name: Automatic Verification Methods for Finite State Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01565264
Price: 51.78 EUR
Availability: InStock
Author: Joseph Sifakis
ISBN: 9783540521488

International Workshop, Grenoble, France, June 12-14, 1989. Proceedings

Joseph Sifakis

Language

English

Book Paperback

Libristo code: 01565264

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 1990

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first... Full description

Libristo code: 01565264

125 b

51.78 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Production de notations jeune enfant Ferreiro

Paperback

29.38 €

Hasičské auto

Book

15.39 €

Černé barety Jaroslav Holík

Paperback

5.46 €

Masterchef- toutes les techniques du sucré Christophe Dovergne

Paperback

22.69 €

Conan z Cimmerie Robert Ervin Howard

Audio CD

12.56 €

Гостиничный менеджмент (для бак).Уч пос.3изд

Paperback

55.53 €

Ally nella tempesta - Sette sorelle Lucinda Riley

Paperback

21.48 €

Competencia psicologica de um professor no desenvolvimento da criatividade dos alunos Natalia Afanasieva

Paperback

60.70 €

G. P. Telemann. 12 Fantaisies pour violon seul

Sheet

25.12 €

El arte de la guerra (Pocket) Tzu Sun

Paperback

7.29 €

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf

DVD

17.93 €

Einführung in das Zivilrecht Martin Löhnig

Paperback

23.81 €

Projeto de um controlador de energia solar de 125V para radiaç?o solar insuficiente Rafiqul Islam

Paperback

32.12 €

Le grec en 15 leçons Menu

Paperback

24.01 €

Láska na cizím hrobě Ludvík Němec

Hardback

10.02 €

Mito y política en la historiografía del Próximo Oriente antiguo Mario Liverani

Paperback

21.88 €

Na lovu kozorožce Ondřej Kříženecký

Hardback

8.20 €

Zur Zulässigkeit des Teilurteils gem. 301 ZPO. Oleg de Lousanoff

Paperback

56.64 €

Rückwärts schlüpft er aus dem Ei Erika Beltle

Hardback

10.53 €

Essays zu Kunst und Literatur Arthur Holitscher

Paperback

9.01 €

Richard Neutra. Mobel Furniture: Der Korper und die Sinne / the Body and Senses Barbara Lamprecht

Paperback

28.37 €

Poésies: Poeme De La Religion, De La Grace, Odes Sacrées Louis Racine

Paperback

26.95 €

Geschichte Der Staatsveränderungen Von Dännemark: Aus Dem Englischen Übersezt, Volume 1... John Andrews

Paperback

26.04 €

Aves Maurice Duperat

Paperback

11.75 €

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.