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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Ed Brinksma
Koda Libristo: 01564506
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julij 2002
This book constitutes the refereed proceedings of the 14th 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

Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Knjiga Mehka
common.buy 27.23 €
Tiere und ihr Zuhause Claudia Boldt / Igra/Igrača Igra
common.buy 13.36 €
¡De vacaciones! PETER KNORR / Knjiga Mehka
common.buy 15.08 €
O Livro de Metatron - O Anjo da Presença Max Stone / Knjiga Mehka
common.buy 14.88 €
Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Knjiga Mehka
common.buy 6.98 €
Čeho bychom se měli obávat? John Brockman / Knjiga Mehka
common.buy 10.73 €
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Knjiga Mehka
common.buy 31.19 €
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Igra/Igrača Igra
common.buy 40.20 €
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Knjiga Mehka
common.buy 66.33 €
20.000 leguas de viaje submarino Jules Verne / Knjiga Trda
common.buy 13.36 €
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Knjiga Mehka
common.buy 35.34 €
Lean Management Andreas Kammel / Knjiga Mehka
common.buy 40.20 €
Journal Martin du Gard / Knjiga Trda
common.buy 64.30 €
Magdeburger Drogenmarkt Sven Paschke / Knjiga Mehka
common.buy 32.00 €
Cocktails Manuela Eder / Knjiga Trda
common.buy 5.46 €
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Knjiga Trda
common.buy 21.06 €
Abenteuer des schwarzen Gerard 2 Karl May / Knjiga Trda
common.buy 25.21 €
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Knjiga Trda
common.buy 21.97 €

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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 Ed Brinksma, Kim G. Larsen
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2002
Število strani 362
EAN 9783540439974
ISBN 3540439978
Koda Libristo 01564506
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 2010
Mere 155 x 233 x 36

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
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

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Knjiga Mehka
common.buy 12.35 €
Introduction to Home Management Sandhya Rani Mohanty / Knjiga Mehka
common.buy 33.72 €
Top
Let's Find Momo! Andrew Knapp / Knjiga Kartonka
common.buy 10.22 €
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Knjiga Trda
common.buy 37.36 €
SAXON MATH COURSE 1 Saxpub / Knjiga Trda
common.buy 202.56 €
Taste of Home How Do I Make...? Editors at Taste of Home / Knjiga Mehka
common.buy 15.79 €
Under the Gaslight Augustin Daly / Knjiga Mehka
common.buy 11.84 €
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Knjiga Mehka
common.buy 9.81 €
Cheerleading Kaitlyn Duling / Knjiga Trda
common.buy 31.59 €
Pediatric Dysphagia Julina Ongkasuwan / Knjiga Trda
common.buy 133.28 €
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Knjiga Mehka
common.buy 11.33 €
Housing in Taiwan William D.H. Li / Knjiga Trda
common.buy 165.28 €
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Knjiga Mehka
common.buy 16.60 €
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Knjiga Mehka
common.buy 27.54 €
Hawaiian Chihuahua Ukulele Tabs / Knjiga Mehka
common.buy 8.90 €
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Knjiga Mehka
common.buy 191.52 €
Sunkisses Larsee H Mac / Knjiga Mehka
common.buy 14.07 €
Top
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Knjiga Trda
common.buy 18.32 €
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Knjiga Mehka
common.buy 26.53 €
Top
Epic Drives of the World 1 Lonely planet eng / Knjiga Mehka
common.buy 14.98 €
Inspired Winsome James / Knjiga Mehka
common.buy 16.70 €
Crime for the Books Kate Young / E-knjiga Adobe ePub DRM
common.buy 15.69 €
Top
Eden of Witches Volume 1 YUMEJI / Knjiga Mehka
common.buy 10.42 €
Research Methods in Publishing and Book Studies Rachel Noorda / Knjiga Mehka
common.buy 56.10 €

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
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?