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.49 €

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.75 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.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf

DVD

17.92 €

Le grec en 15 leçons Menu

Paperback

24.10 €

Černé barety Jaroslav Holík

Paperback

5.46 €

Der Vorleser Bernhard Schlink

Hardback

13.56 €

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

Paperback

32.10 €

Hasičské auto

Book

15.39 €

Masterchef- toutes les techniques du sucré Christophe Dovergne

Paperback

22.88 €

Einführung in das Zivilrecht Martin Löhnig

Paperback

23.79 €

El arte de la guerra (Pocket) Tzu Sun

Paperback

9.71 €

Conan z Cimmerie Robert Ervin Howard

Audio CD

12.55 €

G. P. Telemann. 12 Fantaisies pour violon seul

Sheet

25.21 €

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

Paperback

55.49 €

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

Paperback

60.66 €

Ally nella tempesta - Sette sorelle Lucinda Riley

Paperback

21.46 €

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

Paperback

24.20 €

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

Hardback

8.19 €

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

Paperback

47.19 €

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

Hardback

8.80 €

Essays zu Kunst und Literatur Arthur Holitscher

Paperback

9.00 €

neue Isar (Band 4) Ralf Sartori

Paperback

17.92 €

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

Paperback

26.93 €

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

Paperback

26.02 €

Aves Maurice Duperat

Paperback

13.16 €

A orillas del Estado Francisco Tomás y Valiente

Paperback

23.69 €

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.