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, Berlin
SKU: 05274969
Price: 48.91 EUR
Availability: InStock
Author: Nicolas Halbwachs
ISBN: 9783540662020

11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings

Nicolas Halbwachs

Doron Peled

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 05274969

Založba Springer, Berlin, november 1998

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aide... Celoten opis

Koda Libristo: 05274969

118 b

48.91 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Neurodermitis bewältigen Ulrich Stangier

Mehka

49.11 €

Herbst David Moody

Mehka

14.47 €

MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André

Mehka

25.21 €

Conférences sur le rideau de Mme Caudle Douglas Jerrold

Mehka

15.79 €

No me llames loca Girona

MP3

9.92 €

Byłam kochanką arabskich szejków Laila Shukri

Mehka

8.70 €

Uglavnom su me voljele starije gospođe Aleksandar Stanković

Trda

12.24 €

Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян

Trda

27.84 €

Столетняя война Э. Перруа

Trda

27.84 €

Diccionario de la lengua española

Mehka

9.31 €

SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Knjiga

binding.

161.64 €

Aycha ou Le retour d'Elle - roman Haggard Knjiga

Mehka

22.58 €

Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone

Igra

40.40 €

La obra gruesa : unos apuntes de construcción Mañá Reixach

Mehka

28.75 €

Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla

Mehka

32.10 €

Un nuevo comienzo Joel Osteen

Mehka

16.20 €

Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch

Mehka

24.50 €

Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3

Preglednica

9.51 €

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.