Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 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: 57.79 EUR
Availability: InStock
Author: Joseph Sifakis
ISBN: 9783540521488

International Workshop, Grenoble, France, June 12-14, 1989. Proceedings

Joseph Sifakis

Lingua

Inglese

Libro In brossura

Codice Libristo: 01565264

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, gennaio 1990

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first... Descrizione completa

Codice Libristo: 01565264

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Le grec en 15 leçons Menu

In brossura

24.79 €

Černé barety Jaroslav Holík

In brossura

5.69 €

Hasičské auto

Libro

16.09 €

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

In brossura

38.29 €

Der Vorleser Bernhard Schlink

Rigido

14.19 €

Frühling - Das Geheimnis vom Rabenkopf Natalie Scharf

DVD

18.49 €

Ally nella tempesta - Sette sorelle Lucinda Riley

In brossura

22.29 €

El arte de la guerra (Pocket) Tzu Sun

In brossura

7.19 €

Production de notations jeune enfant Ferreiro

In brossura

30.39 €

G. P. Telemann. 12 Fantaisies pour violon seul

Foglio

25.99 €

Masterchef- toutes les techniques du sucré Christophe Dovergne

In brossura

23.49 €

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

In brossura

71.69 €

Conan z Cimmerie Robert Ervin Howard

CD audio

13.09 €

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

In brossura

57.89 €

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

In brossura

23.89 €

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

Rigido

8.59 €

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

In brossura

56.09 €

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

Rigido

10.99 €

Essays zu Kunst und Literatur Arthur Holitscher

In brossura

21.79 €

neue Isar (Band 4) Ralf Sartori

In brossura

27.59 €

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

In brossura

29.39 €

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

In brossura

27.89 €

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

In brossura

26.89 €

Aves Maurice Duperat

In brossura

12.99 €

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.