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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

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

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Einführung in das Zivilrecht Martin Löhnig

Paperback

23.73 €

Le grec en 15 leçons Menu

Paperback

24.04 €

Černé barety Jaroslav Holík

Paperback

5.45 €

Hasičské auto

Book

15.35 €

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

Paperback

32.02 €

Der Vorleser Bernhard Schlink

Hardback

13.53 €

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf

DVD

17.87 €

Ally nella tempesta - Sette sorelle Lucinda Riley

Paperback

21.41 €

El arte de la guerra (Pocket) Tzu Sun

Paperback

7.26 €

Production de notations jeune enfant Ferreiro

Paperback

29.39 €

G. P. Telemann. 12 Fantaisies pour violon seul

Sheet

25.15 €

Masterchef- toutes les techniques du sucré Christophe Dovergne

Paperback

22.82 €

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

Paperback

60.51 €

Conan z Cimmerie Robert Ervin Howard

Audio CD

12.52 €

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

Paperback

55.36 €

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

Paperback

24.14 €

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

Hardback

8.17 €

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

Paperback

47.07 €

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

Hardback

8.78 €

Essays zu Kunst und Literatur Arthur Holitscher

Paperback

8.98 €

neue Isar (Band 4) Ralf Sartori

Paperback

17.87 €

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

Paperback

28.28 €

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

Paperback

26.86 €

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

Paperback

25.96 €

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.