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 II

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Daniel Kroening
Kod Libristo: 09372112
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

Redeskriptionen horizontaler Geographien Olaf Kuhne / E-book Adobe ePub DRM
common.buy 452.62 zł
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Książka Miękka
common.buy 117.86 zł
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Książka Miękka
common.buy 174.09 zł
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Książka Miękka
common.buy 218.89 zł
Medizinischer Grundwortschatz Martin Trebsdorf / Książka Miękka
common.buy 77.67 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 469
EAN 9783319216676
ISBN 3319216678
Kod Libristo 09372112
Wydawnictwo Springer International Publishing AG
Waga 7314
Wymiary 155 x 235 x 25

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ć

TOP
Love and Other Words Christina Lauren / Książka Miękka
common.buy 55.12 zł
About Face Jason White / E-book Adobe ePub DRM
common.buy 8.71 zł
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Książka Miękka
common.buy 218.69 zł
How To Earn Money Without Leaving The House Daniel P Richardson / Książka Miękka
common.buy 47.40 zł
Sex and passion Piero Palono / Książka Miękka
common.buy 36.17 zł
Positiverosity: 7 Golden Principles David Fox-Pitt / Książka Miękka
common.buy 45.79 zł
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Książka Twarda
common.buy 82.38 zł
Rita and Rascal Autum Agusta / Książka Twarda
common.buy 99.72 zł
The Haunting Season for Love and Witches Isabelle Larken / Książka Miękka
common.buy 84.28 zł
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Książka Twarda
common.buy 169.88 zł
Design Systems for VLSI Circuits Giovanni De Micheli / Książka Miękka
common.buy 870.67 zł
Contraception Research for Today and the Nineties G.P. Talwar / Książka Twarda
common.buy 385.06 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