Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01650024
Price: 97.53 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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01650024

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2009

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Celoten opis

Koda Libristo: 01650024

236 b

97.53 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek

Mehka

11.94 €

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

Mehka

15.69 €

Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner

Trda

28.65 €

Klekání Francis Jammes

Preglednica

7.28 €

Modernes Sachsen Ralph Lindner

Mehka

18.63 €

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

Mehka

55.39 €

Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder

Mehka

11.84 €

Contos que n?o se contam Rohrig C

Mehka

5.86 €

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

Mehka

21.97 €

CAPTATION AUDIOVISUELLE DES SPECTACLES VIVANTS GUILLOUX JEAN-MARIE

Mehka

29.77 €

El espia que no sabia contar Karlos San Pedro

Mehka

11.74 €

Oheň Jane Caseyová

Trda

9.51 €

Energie Vaclav Smil

Trda

13.87 €

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.