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

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.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

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

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Knjiga Mehka
common.buy 97.51 €
Kmalu
Introduction to International Relations Richard Devetak / Knjiga Mehka
common.buy 67.94 €
Spice Secret Billie Holladay Skelley / Knjiga Mehka
common.buy 5.86 €
Amber Waves Sharon Schenbeck / Knjiga Mehka
common.buy 9.81 €
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Knjiga Mehka
common.buy 18.52 €
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Knjiga Trda
common.buy 38.27 €
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Knjiga Trda
common.buy 33.20 €
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digitalno Digitalno v spletu
common.buy 52.54 €
Revival: Nietzsche in Context (2001) Robin Small / Knjiga Mehka
common.buy 61.05 €
Top
Lean Change Management Jason Little / Knjiga Mehka
common.buy 26.12 €
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Knjiga Trda
common.buy 32.80 €
Because He Loves Me Dana M Watson / Knjiga Mehka
common.buy 18.42 €
Top
Spanish English Illustrated Dictionary DK / Knjiga Mehka
common.buy 19.84 €
Intimate: An American Family Photo Album Paisley Rekdal / Knjiga Trda
common.buy 26.32 €
Dear Mr. Nelson Kenneth E Nelson / Knjiga Trda
common.buy 28.34 €
Kmalu
NATIONALISM Richard Allen Sauers / Knjiga Trda
common.buy 46.06 €
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Knjiga Trda
common.buy 133.96 €
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Knjiga Mehka
common.buy 98.82 €
Chicano Frankenstein Daniel A. Olivas / Zvočnica MP3
common.buy 17.91 €
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Knjiga Mehka
common.buy 146.11 €
Chemical Genomics Edward D. Zanders / Knjiga Mehka
common.buy 103.38 €

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?