Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

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

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Daniel Kroening
Kod Libristo: 09372120
Wydawnictwo Springer International Publishing AG, lipiec 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Tanie
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Książka Miękka
common.buy 89.19 zł
Vánoční koledy Vladimíra Vopičková / Książka Twarda
common.buy 15.22 zł
Klube & THE BATES Christof Dörr / Książka Miękka
common.buy 76.26 zł
EL SIGNO DEL DRAGÓN RICARDO ALIA / Książka Twarda
common.buy 56.72 zł
SICILIA PHILIPPE GLOAGUEN / Książka Twarda
common.buy 111.74 zł
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Książka Miękka
common.buy 125.07 zł
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Książka Miękka
common.buy 136.30 zł
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Gra/Zabawka Gra
common.buy 128.78 zł
Sagen aus Franken Susanne Rebscher / Książka Twarda
common.buy 63.53 zł
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Książka Miękka
common.buy 87.09 zł
Diario de un viejo terminal Zamir Bechara / Książka Miękka
common.buy 99.52 zł
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Książka Miękka
common.buy 142.61 zł
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Książka Miękka
common.buy 224.40 zł
Reise durch Barcelona Andreas Drouve / Książka Twarda
common.buy 76.06 zł
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Książka Miękka
common.buy 42.19 zł
Clemens Brentano Detlev Lüders / Książka Twarda
common.buy 504.53 zł
L.A. Nudes Confidential Sean McCall / Książka Twarda
common.buy 125.78 zł
Juwikinger - Erster Teil Olav Duun / Książka Twarda
common.buy 132.29 zł
Stunden-Buch Rainer Maria Rilke / Książka Miękka
common.buy 38.28 zł

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

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computer Aided Verification
Autor Daniel Kroening, Corina S. Pasareanu
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 677
EAN 9783319216898
ISBN 3319216899
Kod Libristo 09372120
Wydawnictwo Springer International Publishing AG
Waga 1048
Wymiary 155 x 235 x 40

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Książka Miękka
common.buy 435.98 zł
Zapowiedź
Introduction to International Relations Richard Devetak / Książka Miękka
common.buy 302.28 zł
Spice Secret Billie Holladay Skelley / Książka Miękka
common.buy 26.45 zł
Amber Waves Sharon Schenbeck / Książka Miękka
common.buy 43.69 zł
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Książka Miękka
common.buy 82.78 zł
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Książka Twarda
common.buy 169.88 zł
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Książka Twarda
common.buy 146.92 zł
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 233.22 zł
Revival: Nietzsche in Context (2001) Robin Small / Książka Miękka
common.buy 270.10 zł
TOP
Lean Change Management Jason Little / Książka Miękka
common.buy 116.15 zł
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Książka Twarda
common.buy 145.92 zł
Because He Loves Me Dana M Watson / Książka Miękka
common.buy 82.08 zł
TOP
Spanish English Illustrated Dictionary DK / Książka Miękka
common.buy 89.89 zł
Intimate: An American Family Photo Album Paisley Rekdal / Książka Twarda
common.buy 126.78 zł
Dear Mr. Nelson Kenneth E Nelson / Książka Twarda
common.buy 126.18 zł
Zapowiedź
NATIONALISM Richard Allen Sauers / Książka Twarda
common.buy 215.68 zł
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Książka Twarda
common.buy 594.14 zł
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Książka Miękka
common.buy 436.98 zł
Chicano Frankenstein Daniel A. Olivas / Audiobook MP3
common.buy 84.98 zł
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Książka Miękka
common.buy 653.27 zł
Chemical Genomics Edward D. Zanders / Książka Miękka
common.buy 480.38 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo