Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer Aided Verification

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01650024

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2009

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Celý popis

Libristo kód: 01650024

249 b

102.86 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek

Brožovaná

12.92 €

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

Brožovaná

17.07 €

Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner

Pevná

30.41 €

Klekání Francis Jammes

List

7.87 €

Modernes Sachsen Ralph Lindner

Brožovaná

20.81 €

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

Brožovaná

58.70 €

Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder

Brožovaná

13.33 €

Contos que n?o se contam Rohrig C

Brožovaná

5.85 €

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

Brožovaná

21.92 €

CAPTATION AUDIOVISUELLE DES SPECTACLES VIVANTS GUILLOUX JEAN-MARIE

Brožovaná

32.23 €

El espia que no sabia contar Karlos San Pedro

Brožovaná

11.71 €

Oheň Jane Caseyová

Pevná

10.30 €

Energie Vaclav Smil

Pevná

14.64 €

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.