Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer Aided Verification

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Daniel Kroening
Libristo kód: 09372120
Nakladatelství Springer International Publishing AG, červenec 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Levně
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Kniha Brožovaná
common.buy 510 Kč
Vánoční koledy Vladimíra Vopičková / Kniha Pevná
common.buy 78 Kč
Klube & THE BATES Christof Dörr / Kniha Brožovaná
common.buy 410 Kč
EL SIGNO DEL DRAGÓN RICARDO ALIA / Kniha Pevná
common.buy 324 Kč
SICILIA PHILIPPE GLOAGUEN / Kniha Pevná
common.buy 639 Kč
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Kniha Brožovaná
common.buy 671 Kč
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Kniha Brožovaná
common.buy 733 Kč
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Hra/Hračka Hra
common.buy 736 Kč
Sagen aus Franken Susanne Rebscher / Kniha Pevná
common.buy 363 Kč
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Kniha Brožovaná
common.buy 469 Kč
Diario de un viejo terminal Zamir Bechara / Kniha Brožovaná
common.buy 569 Kč
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Kniha Brožovaná
common.buy 815 Kč
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Kniha Brožovaná
common.buy 1 525 Kč
Reise durch Barcelona Andreas Drouve / Kniha Pevná
common.buy 410 Kč
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Kniha Brožovaná
common.buy 227 Kč
Clemens Brentano Detlev Lüders / Kniha Pevná
common.buy 2 732 Kč
L.A. Nudes Confidential Sean McCall / Kniha Pevná
common.buy 674 Kč
Juwikinger - Erster Teil Olav Duun / Kniha Pevná
common.buy 711 Kč
Stunden-Buch Rainer Maria Rilke / Kniha Brožovaná
common.buy 206 Kč

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.§

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computer Aided Verification
Autor Daniel Kroening, Corina S. Pasareanu
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 677
EAN 9783319216898
ISBN 3319216899
Libristo kód 09372120
Nakladatelství Springer International Publishing AG
Váha 1048
Rozměry 155 x 235 x 40

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Výpočetní a informační technologie > Počítačové sítě a komunikace
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Kniha Brožovaná
common.buy 2 357 Kč
Připravujeme
Introduction to International Relations Richard Devetak / Kniha Brožovaná
common.buy 1 642 Kč
Spice Secret Billie Holladay Skelley / Kniha Brožovaná
common.buy 142 Kč
Amber Waves Sharon Schenbeck / Kniha Brožovaná
common.buy 237 Kč
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Kniha Brožovaná
common.buy 449 Kč
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Kniha Pevná
common.buy 924 Kč
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Kniha Pevná
common.buy 802 Kč
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 1 270 Kč
Revival: Nietzsche in Context (2001) Robin Small / Kniha Brožovaná
common.buy 1 475 Kč
Top
Lean Change Management Jason Little / Kniha Brožovaná
common.buy 597 Kč
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Kniha Pevná
common.buy 794 Kč
Because He Loves Me Dana M Watson / Kniha Brožovaná
common.buy 446 Kč
Top
Spanish English Illustrated Dictionary DK / Kniha Brožovaná
common.buy 445 Kč
Intimate: An American Family Photo Album Paisley Rekdal / Kniha Pevná
common.buy 682 Kč
Dear Mr. Nelson Kenneth E Nelson / Kniha Pevná
common.buy 686 Kč
Připravujeme
NATIONALISM Richard Allen Sauers / Kniha Pevná
common.buy 1 233 Kč
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Kniha Pevná
common.buy 3 238 Kč
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Kniha Brožovaná
common.buy 2 388 Kč
Chicano Frankenstein Daniel A. Olivas / Audiokniha MP3
common.buy 486 Kč
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Kniha Brožovaná
common.buy 3 532 Kč
Chemical Genomics Edward D. Zanders / Kniha Brožovaná
common.buy 2 622 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet