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ł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Automated Technology for Verification and Analysis

Język AngielskiAngielski
Książka Miękka
Książka Automated Technology for Verification and Analysis Ahmed Bouajjani
Kod Libristo: 01656599
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Cały opis
? points 156 b
266.78 zł
Dostępna u dostawcy Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Asterix: Asterix Omnibus 4 René Goscinny / Miękka
common.buy 69.71 zł
TOP
Anatomia zwierzat do kolorowania. Aparat ruchu. Podrecznik dla studentow weterynarii Halina Purzyc / Miękka
common.buy 97.82 zł
Zapowiedź
Pierre Gagnaire: Reinventing French Cuisine Jean-Francois Abert / Twarda
common.buy 119.63 zł
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Miękka
common.buy 245.97 zł
Progression of the American Presidency Jim Twombly / Miękka
common.buy 262.48 zł
Our Cats And All About Them Harrison Weir / Twarda
common.buy 174.35 zł
Alone at Sea John N. Morris / Miękka
common.buy 102.42 zł
Mysticism in Twentieth-Century Hebrew Literature Hamutal Bar-Yosef / Twarda
common.buy 531.67 zł
My Philosophy Oliver Lodge / Miękka
common.buy 224.47 zł
Learning Medicine Peter Richards / Miękka
common.buy 309.20 zł
Altbaukonstruktionen - Materialien und U-Werte im Gebäudebestand. Swen Klauß / Miękka
common.buy 266.78 zł
PREMO: A Framework for Multimedia Middleware David Duke / Miękka
common.buy 262.48 zł
Education, Indigenous Knowledges, and Development in the Global South Anders Breidlid / Twarda
common.buy 1 141.18 zł

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

Informacje o książce

Pełna nazwa Automated Technology for Verification and Analysis
Autor Ahmed Bouajjani, Wei-Ngan Chin
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 404
EAN 9783642156427
ISBN 3642156428
Kod Libristo 01656599
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 624
Wymiary 327 x 239 x 28

Kategoria

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
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) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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