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 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01650024
Price: 107.29 EUR
Availability: InStock
Author: Ahmed Bouajjani
ISBN: 9783642026577

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Ahmed Bouajjani

Oded Maler

Lingua

Inglese

Libro In brossura

Codice Libristo: 01650024

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2009

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Descrizione completa

Codice Libristo: 01650024

263 b

107.29 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek

In brossura

13.39 €

Cómo estudiar 2. Ejercicios prácticos Antonio Vallés Arándiga

In brossura

16.89 €

Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner

Rigido

31.79 €

Klekání Francis Jammes

Foglio

8.59 €

Modernes Sachsen Ralph Lindner

In brossura

21.69 €

Etude comparative et Amélioration des protocoles de Routage(LEACH&SEP) Rahma Gantassi

In brossura

61.49 €

Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder

In brossura

13.89 €

Contos que n?o se contam Rohrig C

In brossura

6.49 €

Jydsk Staevne: Et Aarsskrift... Jeppe Aakj R.

In brossura

23.89 €

CAPTATION AUDIOVISUELLE DES SPECTACLES VIVANTS GUILLOUX JEAN-MARIE

In brossura

31.89 €

El espia que no sabia contar Karlos San Pedro

In brossura

13.09 €

Oheň Jane Caseyová

Rigido

11.19 €

Energie Vaclav Smil

Rigido

16.29 €

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.§The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.