Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

Livraison gratuite avec Zásilkovna à partir de 69.99 €

Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Livraison gratuite à partir de 69.99 euros.

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

Langue

Anglais

Livre Livre de poche

Code Libristo: 01565264

Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janvier 1990

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first... Description détaillée

Code Libristo: 01565264

125 b

51.75 €

Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Masterchef- toutes les techniques du sucré Christophe Dovergne

Livre de poche

22.58 €

Production de notations jeune enfant Ferreiro

Livre de poche

29.26 €

Conan z Cimmerie Robert Ervin Howard

CD Audio

12.55 €

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

Livre de poche

55.49 €

Ally nella tempesta - Sette sorelle Lucinda Riley

Livre de poche

21.46 €

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

Livre de poche

60.66 €

G. P. Telemann. 12 Fantaisies pour violon seul

Feuille

25.01 €

El arte de la guerra (Pocket) Tzu Sun

Livre de poche

7.28 €

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf

DVD

17.92 €

Hasičské auto

Livre

15.39 €

Einführung in das Zivilrecht Martin Löhnig

Livre de poche

23.79 €

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

Livre de poche

32.10 €

Le grec en 15 leçons Menu

Livre de poche

23.89 €

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

Livre de poche

21.87 €

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

Livre relié

8.19 €

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

Livre de poche

56.61 €

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

Livre relié

10.52 €

Essays zu Kunst und Literatur Arthur Holitscher

Livre de poche

9.00 €

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

Livre de poche

28.35 €

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

Livre de poche

26.93 €

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

Livre de poche

26.02 €

Aves Maurice Duperat

Livre de poche

11.74 €

A orillas del Estado Francisco Tomás y Valiente

Livre de poche

21.16 €

Černé barety Jaroslav Holík

Livre de poche

5.46 €

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.