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ć

Tools and Algorithms for the Construction and Analysis of Systems

Język AngielskiAngielski
Książka Miękka
Książka Tools and Algorithms for the Construction and Analysis of Systems C.R. Ramakrishnan
Kod Libristo: 01570065
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2008
This proceedings volume examines parameterized systems, model checking, applications, static analysi...
? points 154 b
261.85 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ć

Kalifornie USA Rolf Goetz / Mapa
common.buy 48.29 zł
Theoretische und wirtschaftspolitische Aspekte der internationalen Integration. Stefan Reitz / Miękka
common.buy 376.32 zł
Das Notizbuch von Johann David Schiedmayer und seines Sohnes Johann Lorenz Michael Latcham / Twarda
common.buy 1 181.57 zł
Hesiodic Voices Richard Hunter / Twarda
common.buy 547.27 zł
Musiklexikon für Kinder Monika Heumann / Twarda
common.buy 187.41 zł
Erzähl doch keine Geschichten! Dietrich Neuhaus / Miękka
common.buy 58.67 zł
Samuel Johnson Leslie Stephen / Miękka
common.buy 194.39 zł
Power and Space Josefine Fokdal / Miękka
common.buy 93.00 zł

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.

Informacje o książce

Pełna nazwa Tools and Algorithms for the Construction and Analysis of Systems
Autor C.R. Ramakrishnan, Jakob Rehof
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 520
EAN 9783540787990
ISBN 3540787992
Kod Libristo 01570065
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 819
Wymiary 155 x 235 x 29

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