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

Verification, Model Checking, and Abstract Interpretation

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Kod Libristo: 15560990
Wydawnictwo Springer International Publishing AG, styczeń 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Cały opis
? points 141 b
Gwarancja
najlepszej
ceny ▸
248.35 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 11-15 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Satires Contre Les Astronomes MERCIER-L-S / Książka Miękka
common.buy 58.16 zł
MEURTRIERS SANS VISAGE Henning Mankell / Książka Miękka
common.buy 63.59 zł
Malvadita Keselman / Audiobook MP3
common.buy 16.90 zł
Os animais tem alma? ERNESTO BOZZANO / Książka Miękka
common.buy 58.46 zł
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Książka Miękka
common.buy 31.29 zł
Batman - Svět Různí / Książka Twarda
common.buy 83.11 zł
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Książka Twarda
common.buy 273.81 zł
Zapowiedź
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Książka Książka
common.buy 369.71 zł
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Książka Miękka
common.buy 216.25 zł
Feelgood-Management Ulrike Weber / Książka Miękka
common.buy 74.16 zł
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Książka Miękka
common.buy 258.21 zł

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Verification, Model Checking, and Abstract Interpretation
Autor Ahmed Bouajjani, David Monniaux
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 560
EAN 9783319522333
ISBN 3319522337
Kod Libristo 15560990
Wydawnictwo Springer International Publishing AG
Waga 8657
Wymiary 155 x 235 x 31

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
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
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ć

Remaking China's Great Cities Sam Liang / Książka Twarda
common.buy 998.77 zł
Climate Change and Mango Production Syed Atif Hasan Naqvi / E-book Adobe ePub DRM
common.buy 1 019.70 zł
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Książka Twarda
common.buy 129.60 zł
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / E-book Adobe ePub DRM
common.buy 214.13 zł
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Audiobook MP3
common.buy 35.61 zł
Season's of a Mother's Heart Sally Clarkson / Książka Miękka
common.buy 51.61 zł
Zapowiedź
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Książka Twarda
common.buy 698.38 zł
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Książka Miękka
common.buy 40.04 zł
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Książka Miękka
common.buy 78.99 zł
Technology, Modernity, and Democracy Eduardo Beira / Książka Twarda
common.buy 645.65 zł
Adventures of Hugh Jorgan Rock Harding / Książka Miękka
common.buy 45.27 zł
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Książka Twarda
common.buy 160.70 zł
Red Earth Joel Canfield / Książka Miękka
common.buy 86.23 zł
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Książka Miękka
common.buy 254.49 zł
TOP Tanie
Peppa Pig: Hide and Peek Peppa Pig / Książka Leporelo
common.buy 23.84 zł
Damned If I Do, Dead If I Don't Hannah Bonde / Książka Miękka
common.buy 77.98 zł
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Książka Miękka
common.buy 88.55 zł
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Książka Miękka
common.buy 82.21 zł
Unbounded Chronicles David Schneider / Książka Miękka
common.buy 126.49 zł
Animals A-Z Trevor E Coward / Książka Miękka
common.buy 70.23 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?