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ć

Static Analysis

Język AngielskiAngielski
Książka Miękka
Książka Static Analysis Antoine Mine
Kod Libristo: 01662058
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2012
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Sta... Cały opis
? points 154 b
262.97 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
Coraline Graphic Novel Neil Gaiman / Miękka
common.buy 36.67 zł
Triada, Predestinación Laura Gallego / Miękka
common.buy 55.51 zł
Little Music Lessons for Kids: Lessons 1-2-3: Three Cheerful Music Stories about a Staff, a Treble Clef and the Line Notes Tatiana Bandurina / Miękka
common.buy 124.87 zł
Foucaults soziohistorische Theorie der Biomacht und die Eugenik Konrad Kalisch / Miękka
common.buy 219.28 zł
El libro de los besos y la niebla Xosé Carlos Caneiro / Miękka
common.buy 86.38 zł
Seduction of Emily Rachel Brimble / Miękka
common.buy 67.14 zł
Happy Birthday Roger Priddy / Twarda
common.buy 26.95 zł
Little Music Lessons for Kids: Lesson 1: A Fascinating Story about the Staff and Treble Clef Tatiana Bandurina / Miękka
common.buy 58.02 zł
Chioggia and the Villages of the Venetian Lagoon Richard J. Goy / Twarda
common.buy 414.01 zł
Mapai in Israel: Political Organisation and Government in a New Society Peter Y. Medding / Miękka
common.buy 196.73 zł
Discarded Wings James Collins / Miękka
common.buy 56.72 zł
Darwinism and its Discontents Michael Ruse / Miękka
common.buy 160.75 zł

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Informacje o książce

Pełna nazwa Static Analysis
Autor Antoine Mine, David Schmidt
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 457
EAN 9783642331244
ISBN 3642331246
Kod Libristo 01662058
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 718
Wymiary 155 x 235 x 26

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
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) > 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

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