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: 20251 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

20 251 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Masterchef- toutes les techniques du sucré Christophe Dovergne

Paperback

7 807 Ft

Wild Cheryl Strayed

Paperback

4 311 Ft

Hasičské auto

Book

6 012 Ft

Conan z Cimmerie Robert Ervin Howard

Audio CD

4 539 Ft

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

Paperback

20 013 Ft

Ally nella tempesta - Sette sorelle Lucinda Riley

Paperback

5 374 Ft

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

Paperback

23 924 Ft

G. P. Telemann. 12 Fantaisies pour violon seul

Sheet

8 672 Ft

El arte de la guerra (Pocket) Tzu Sun

Paperback

2 596 Ft

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf

DVD

6 970 Ft

Einführung in das Zivilrecht Martin Löhnig

Paperback

9 329 Ft

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

Paperback

12 683 Ft

Le grec en 15 leçons Menu

Paperback

8 266 Ft

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

Hardback

3 624 Ft

El refredat de la Sagrada Família Josep-Francesc Delgado

Paperback

4 539 Ft

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

Hardback

3 659 Ft

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

Hardback

3 491 Ft

Essays zu Kunst und Literatur Arthur Holitscher

Paperback

3 579 Ft

Spanisch für Costa Rica Wort für Wort Regine Rauin

Paperback

3 579 Ft

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

Paperback

10 476 Ft

Aves Maurice Duperat

Paperback

4 657 Ft

A orillas del Estado Francisco Tomás y Valiente

Paperback

8 474 Ft

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

Paperback

8 657 Ft

Production de notations jeune enfant Ferreiro

Paperback

10 209 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.