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

25 Years of Model Checking

Język AngielskiAngielski
Książka Miękka
Książka 25 Years of Model Checking Orna Grumberg
Kod Libristo: 01567994
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2008
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, feature... Cały opis
? points 108 b
183.12 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

96 Hours - Taken 2, Extended Cut, 1 Blu-ray Olivier Megaton / Blu-ray
common.buy 54.28 zł
Lambacher Schweizer Mathematik 8 - G8. Ausgabe Hessen / Karta
common.buy 111.86 zł
Heine und die Nachwelt Geschichte seiner Wirkung in den deutschsprachigen Ländern Dietmar Goltschnigg / Twarda
common.buy 372.23 zł
2084 Robert A Kaiser / Miękka
common.buy 80.93 zł
120 Great Orientalist Paintings CD-ROM and Book / Miękka
common.buy 77.73 zł
Camden Market - Ausgabe 2005 Otfried Börner / Twarda
common.buy 143.99 zł
.. Mikhail Alekseevich Venevitinov / Miękka
common.buy 97.79 zł
4. Jahrgang, Heft 1/2009. Übergang Schule - Hochschule / Miękka
common.buy 38.21 zł
TERRA Erdkunde 1. Ausgabe Hessen Gymnasium / Twarda
common.buy 142.00 zł
Zebra 2 Sonja Kargl / Karta
common.buy 63.26 zł
classical dictionary of the vulgar tongue. The second edition, corrected and enlarged. Francis Grose / Miękka
common.buy 136.21 zł

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.

Informacje o książce

Pełna nazwa 25 Years of Model Checking
Autor Orna Grumberg, Helmut Veith
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 234
EAN 9783540698494
ISBN 3540698493
Kod Libristo 01567994
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 370
Wymiary 156 x 235 x 15

Kategoria

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) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Technologia informacyjna (IT) – zagadnienia ogólne
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