Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 19777 HUF
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

136 b

19 777 Ft

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

9 117 Ft

Le grec en 15 leçons Menu

Paperback

8 506 Ft

Černé barety Jaroslav Holík

Paperback

1 924 Ft

Hasičské auto

Book

5 401 Ft

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

Paperback

12 378 Ft

Der Vorleser Bernhard Schlink

Hardback

5 227 Ft

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf

DVD

6 802 Ft

Ally nella tempesta - Sette sorelle Lucinda Riley

Paperback

8 212 Ft

El arte de la guerra (Pocket) Tzu Sun

Paperback

2 563 Ft

Production de notations jeune enfant Ferreiro

Paperback

10 398 Ft

G. P. Telemann. 12 Fantaisies pour violon seul

Sheet

8 901 Ft

Masterchef- toutes les techniques du sucré Christophe Dovergne

Paperback

8 070 Ft

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

Paperback

23 360 Ft

Conan z Cimmerie Robert Ervin Howard

Audio CD

4 428 Ft

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

Paperback

19 547 Ft

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

Paperback

8 506 Ft

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

Hardback

2 985 Ft

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

Paperback

18 087 Ft

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

Hardback

3 408 Ft

Essays zu Kunst und Literatur Arthur Holitscher

Paperback

3 495 Ft

neue Isar (Band 4) Ralf Sartori

Paperback

6 917 Ft

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

Paperback

10 793 Ft

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

Paperback

10 224 Ft

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

Paperback

9 861 Ft

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.