Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
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 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Rajeev Alur
Koda Libristo: 01559563
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2004
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Celoten opis
? points 236 b
97.53 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

TNM Atlas 7e JD Brierley / Knjiga Mehka
common.buy 92.77 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Knjiga Mehka
common.buy 8.30 €
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak / Knjiga Trda
common.buy 11.43 €
Cosa Nostra John Dickie / Knjiga Mehka
common.buy 12.85 €
Kmalu
Praha mapa turistických zajímavostí / Tiskani izdelki Zemljevid
common.buy 2.42 €
PALINODIE Giacomo LEOPARDI / Knjiga Mehka
common.buy 8.80 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Knjiga Mehka
common.buy 29.77 €
Maison la plus grande du monde (La) LIONNI / Knjiga Mehka
common.buy 8.30 €
Adolescence, maltraitance et placement Van Hooland / Knjiga Mehka
common.buy 18.22 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Knjiga Mehka
common.buy 6.98 €
Código de insolvencias empresariales Rodriguez Achutegui / Knjiga Mehka
common.buy 70.89 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Knjiga Mehka
common.buy 11.03 €
Poceni
Harry Potter Tvory a netvory Jody Revenson / Knjiga Trda
common.buy 17.82 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Aided Verification
Avtor Rajeev Alur, Doron A. Peled
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2004
Število strani 536
EAN 9783540223429
ISBN 3540223428
Koda Libristo 01559563
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1700
Mere 155 x 233 x 30

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Neuroeconomics MARTIN REUTER / Knjiga Mehka
common.buy 155.86 €
Second Language Teacher Education Diane J. Tedick / Knjiga Mehka
common.buy 88.81 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Knjiga Mehka
common.buy 15.69 €
Poceni
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Knjiga Mehka
common.buy 2.22 €
Chasing Time F I Goldhaber / Knjiga Mehka
common.buy 10.22 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Knjiga Mehka
common.buy 33.82 €
More Than Words Vernon Logan / Knjiga Mehka
common.buy 16.20 €
Stories of Animal Sagacity W. H. G. Kingston / Knjiga Mehka
common.buy 18.52 €
Happiness Andy Cope / Knjiga Trda
common.buy 14.88 €
Maria The Monarch Homero Aridjis / Knjiga Mehka
common.buy 12.95 €
Women Who Move Mountains Sue Detweiler / Knjiga Mehka
common.buy 14.88 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Knjiga Mehka
common.buy 97.53 €
Top
Devil's Reign Zdarsky / Knjiga Mehka
common.buy 23.69 €
Operatic China D. Lei / Knjiga Mehka
common.buy 91.85 €
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Knjiga Trda
common.buy 31.29 €
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Knjiga Mehka
common.buy 49.01 €
Interpretations of Native North American Life Michael S. Nassaney / Knjiga Mehka
common.buy 26.63 €
Making Schools Different Kitty te Riele / Knjiga Trda
common.buy 107.15 €
Pure Cute Beverly West / Knjiga Trda
common.buy 9.11 €
Swahili Grammar and Workbook Fid?le Mpiranya / Knjiga Mehka
common.buy 80.91 €
Exam Essentials: Cambridge First Practice Tests 1 w/key + DV Charles Osborne / Knjiga Trda
common.buy 44.15 €
Top
Grounded George Brant / Knjiga Mehka
common.buy 16.60 €
Beyond Babar Sandra L. Beckett / E-knjiga Adobe ePub DRM
common.buy 85.98 €
Kmalu
Virtual Machining Using CAMWorks 2021 Kuang-Hua Chang / Knjiga Mehka
common.buy 72.00 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo