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 Kurier 12.99 zł Punkt DPD 11.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
223.93 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

El pacto de Reygnark Víctor López López / Książka Miękka
common.buy 80.65 zł
El Cuartel y el Templo Euripedes Kuhl / E-book Adobe ePub DRM
common.buy 75.70 zł
Redeskriptionen horizontaler Geographien Olaf Kuhne / E-book Adobe ePub DRM
common.buy 466.57 zł
Onkel Alwin und das Sams Paul Maar / Książka Twarda
common.buy 51.79 zł
Medizinischer Grundwortschatz Martin Trebsdorf / Książka Miękka
common.buy 78.34 zł
Stadt der Lebenden / Książka Miękka
common.buy 62.75 zł
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Książka Miękka
common.buy 120.83 zł
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Książka Miękka
common.buy 224.33 zł
EL GUERRA CIVIL EN CÓRDOBA PATRICIO HIDALGO LUQUE / Książka Miękka
common.buy 117.42 zł
Découvrez le SURNATUREL en VOUS!: (Psaumes Quotidiens Puissant Pour Adolescents) LeTicia Lee / Książka Miękka
common.buy 83.71 zł
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Książka Miękka
common.buy 178.42 zł
Der X-Klub (Eine Krinar Erzählung) Anna Zaires / Książka Miękka
common.buy 48.58 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ć

My Bilingual Book - Smell (English-German) Milet Publishing Ltd / Książka Twarda
common.buy 41.37 zł
Ballet Shoes for Anna Noel Streatfeild / Książka Miękka
common.buy 37.66 zł
The Haunting Season for Love and Witches Isabelle Larken / Książka Miękka
common.buy 86.46 zł
About Face Jason White / E-book Adobe ePub DRM
common.buy 8.93 zł
Global Logistics and Supply Chain Management Mason Harris / Książka Twarda
common.buy 542.79 zł
Ask Me Smarter! Language Arts, Social Studies, Science, and Math - Grade 3 Donna M. Roszak / Książka Miękka
common.buy 52.69 zł
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Książka Miękka
common.buy 223.93 zł
How To Earn Money Without Leaving The House Daniel P Richardson / Książka Miękka
common.buy 48.58 zł
Sex and passion Piero Palono / Książka Miękka
common.buy 37.06 zł
Positiverosity: 7 Golden Principles David Fox-Pitt / Książka Miękka
common.buy 46.78 zł
TOP
Love and Other Words Christina Lauren / Książka Miękka
common.buy 56.50 zł
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Książka Twarda
common.buy 84.46 zł
Short History of Gardens Gordon Campbell / Książka Twarda
common.buy 75.14 zł
Contraception Research for Today and the Nineties G.P. Talwar / Książka Twarda
common.buy 393.36 zł
Early Childhood Education Radhika Viruru / Książka Twarda
common.buy 180.15 zł
Engineering and Design US Army Corps of Engineers / Książka Miękka
common.buy 136.46 zł
Rita and Rascal Autum Agusta / Książka Twarda
common.buy 86.76 zł
Does God Protect the Innocent? Marcel Crespil / Książka Twarda
common.buy 131.65 zł
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Książka Twarda
common.buy 173.23 zł
Television in the Antenna Age - A Concise History David Marc / Książka Twarda
common.buy 534.14 zł
Affluent Worker: Industrial Attitudes and Behaviour John H. Goldthorpe / Książka Miękka
common.buy 208.70 zł
Design Systems for VLSI Circuits Giovanni De Micheli / Książka Miękka
common.buy 892.45 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?