Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer International Publishing AG, júl 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Lacno
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Kniha Brožovaná
common.buy 21.06 €
Vánoční koledy Vladimíra Vopičková / Kniha Pevná
common.buy 3.43 €
Klube & THE BATES Christof Dörr / Kniha Brožovaná
common.buy 18.02 €
EL SIGNO DEL DRAGÓN RICARDO ALIA / Kniha Pevná
common.buy 13.36 €
SICILIA PHILIPPE GLOAGUEN / Kniha Pevná
common.buy 26.42 €
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Kniha Brožovaná
common.buy 27.74 €
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Kniha Brožovaná
common.buy 32.20 €
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Hra/Hračka Hra
common.buy 30.48 €
Sagen aus Franken Susanne Rebscher / Kniha Pevná
common.buy 14.98 €
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Kniha Brožovaná
common.buy 20.55 €
Diario de un viejo terminal Zamir Bechara / Kniha Brožovaná
common.buy 23.49 €
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Kniha Brožovaná
common.buy 33.72 €
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Kniha Brožovaná
common.buy 53.06 €
Reise durch Barcelona Andreas Drouve / Kniha Pevná
common.buy 18.02 €
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Kniha Brožovaná
common.buy 9.92 €
Clemens Brentano Detlev Lüders / Kniha Pevná
common.buy 119.30 €
L.A. Nudes Confidential Sean McCall / Kniha Pevná
common.buy 27.84 €
Juwikinger - Erster Teil Olav Duun / Kniha Pevná
common.buy 31.29 €
Stunden-Buch Rainer Maria Rilke / Kniha Brožovaná
common.buy 9.00 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computer Aided Verification
Autor Daniel Kroening, Corina S. Pasareanu
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2015
Počet strán 677
EAN 9783319216898
ISBN 3319216899
Libristo kód 09372120
Nakladateľstvo Springer International Publishing AG
Váha 1048
Rozmery 155 x 235 x 40

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Výpočtové a informačné technológie > Počítačové siete a komunikácia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Kniha Brožovaná
common.buy 103.10 €
Pripravujeme
Introduction to International Relations Richard Devetak / Kniha Brožovaná
common.buy 71.50 €
Spice Secret Billie Holladay Skelley / Kniha Brožovaná
common.buy 5.86 €
Amber Waves Sharon Schenbeck / Kniha Brožovaná
common.buy 9.81 €
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Kniha Brožovaná
common.buy 18.52 €
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Kniha Pevná
common.buy 38.27 €
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Kniha Pevná
common.buy 33.21 €
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 55.19 €
Revival: Nietzsche in Context (2001) Robin Small / Kniha Brožovaná
common.buy 61.06 €
Top
Lean Change Management Jason Little / Kniha Brožovaná
common.buy 40.81 €
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Kniha Pevná
common.buy 32.81 €
Because He Loves Me Dana M Watson / Kniha Brožovaná
common.buy 18.42 €
Top
Spanish English Illustrated Dictionary DK / Kniha Brožovaná
common.buy 21.26 €
Intimate: An American Family Photo Album Paisley Rekdal / Kniha Pevná
common.buy 28.25 €
Dear Mr. Nelson Kenneth E Nelson / Kniha Pevná
common.buy 28.35 €
Pripravujeme
NATIONALISM Richard Allen Sauers / Kniha Pevná
common.buy 51.04 €
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Kniha Pevná
common.buy 133.99 €
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Kniha Brožovaná
common.buy 98.84 €
Chicano Frankenstein Daniel A. Olivas / Audiokniha MP3
common.buy 20.04 €
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Kniha Brožovaná
common.buy 154.55 €
Chemical Genomics Edward D. Zanders / Kniha Brožovaná
common.buy 108.46 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?