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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Daniel Kroening
Koda Libristo: 09372120
Založba Springer International Publishing AG, julij 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Celoten opis
? points 118 b
48.85 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

SICILIA PHILIPPE GLOAGUEN / Knjiga Trda
common.buy 23.66 €
EL SIGNO DEL DRAGÓN RICARDO ALIA / Knjiga Trda
common.buy 12.13 €
Klube & THE BATES Christof Dörr / Knjiga Mehka
common.buy 16.98 €
Top
Vánoční koledy Vladimíra Vopičková / Knjiga Trda
common.buy 3.02 €
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Knjiga Mehka
common.buy 27.71 €
Poceni
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Knjiga Mehka
common.buy 21.03 €
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Knjiga Mehka
common.buy 30.24 €
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Igra/Igrača Igra
common.buy 30.54 €
Sagen aus Franken Susanne Rebscher / Knjiga Trda
common.buy 11.93 €
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Knjiga Mehka
common.buy 19.41 €
Diario de un viejo terminal Zamir Bechara / Knjiga Mehka
common.buy 21.23 €
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Knjiga Mehka
common.buy 30.94 €
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Knjiga Mehka
common.buy 48.34 €
Reise durch Barcelona Andreas Drouve / Knjiga Trda
common.buy 16.98 €
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Knjiga Mehka
common.buy 10.41 €
Clemens Brentano Detlev Lüders / Knjiga Trda
common.buy 112.88 €
L.A. Nudes Confidential Sean McCall / Knjiga Trda
common.buy 27.81 €
Juwikinger - Erster Teil Olav Duun / Knjiga Trda
common.buy 29.43 €
Stunden-Buch Rainer Maria Rilke / Knjiga Mehka
common.buy 8.49 €

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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 Daniel Kroening, Corina S. Pasareanu
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2015
Število strani 677
EAN 9783319216898
ISBN 3319216899
Koda Libristo 09372120
Založba Springer International Publishing AG
Teža 1048
Mere 155 x 235 x 40

Kategorije

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 > Operating systems
Computing & Information Technology > Computer networking & communications
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

Because He Loves Me Dana M Watson / Knjiga Mehka
common.buy 18.40 €
Amber Waves Sharon Schenbeck / Knjiga Mehka
common.buy 9.80 €
How To Be A Dynamite Trustee: Book Two: Powers Of The Trustee A Jeanne Emanuel / Knjiga Mehka
common.buy 7.27 €
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Knjiga Mehka
common.buy 18.50 €
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Knjiga Trda
common.buy 38.23 €
Revival: Nietzsche in Context (2001) Robin Small / Knjiga Mehka
common.buy 63.92 €
Kmalu
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Knjiga Trda
common.buy 33.17 €
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digitalno Digitalno v spletu
common.buy 52.49 €
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Knjiga Trda
common.buy 32.77 €
Lean Change Management Jason Little / Knjiga Mehka
common.buy 26.09 €
The sun Worshipers of Asia Charles D. Poston / Knjiga Mehka
common.buy 17.49 €
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Knjiga Trda
common.buy 133.82 €
Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Knjiga Mehka
common.buy 97.40 €
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Knjiga Mehka
common.buy 145.96 €
Chemical Genomics Edward D. Zanders / Knjiga Mehka
common.buy 103.27 €
Chicano Frankenstein Daniel A. Olivas / Zvočnica MP3
common.buy 18.10 €
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Knjiga Mehka
common.buy 98.72 €
Top
Spanish English Illustrated Dictionary DK / Knjiga Mehka
common.buy 19.82 €
Kmalu
NATIONALISM Richard Allen Sauers / Knjiga Trda
common.buy 45.81 €
Dear Mr. Nelson Kenneth E Nelson / Knjiga Trda
common.buy 28.21 €
Intimate: An American Family Photo Album Paisley Rekdal / Knjiga Trda
common.buy 26.39 €

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