phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Verification, Model Checking, and Abstract Interpretation

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Kod Libristo: 02862913
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Cały opis
? points 154 b
262.66 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
The Awful German Language Mark Twain / Twarda
common.buy 53.74 zł
Most přes řeku Styx Quirin Jedlička / Miękka
common.buy 29.52 zł
Storytelling Phebe Cramer / Twarda
common.buy 431.73 zł
Comparative Constitutional Design Tom Ginsburg / Miękka
common.buy 264.36 zł
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Twarda
common.buy 796.80 zł
Visit to the Farm Michael Morpurgo / Miękka
common.buy 38.03 zł
Desire for Society H. G. Furth / Twarda
common.buy 518.12 zł
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Miękka
common.buy 62.25 zł
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Miękka
common.buy 127.22 zł

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 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.

Informacje o książce

Pełna nazwa Verification, Model Checking, and Abstract Interpretation
Autor Barbara Jobstmann, K. Rustan M. Leino
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 558
EAN 9783662491218
ISBN 3662491214
Kod Libristo 02862913
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 866
Wymiary 155 x 235 x 30

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania
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 > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
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

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