Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Model Checking Software

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Patrick Godefroid
Kod Libristo: 01560970
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Die Transformatoren R. Küchler / Książka Miękka
common.buy 326.59 zł
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-book Adobe ePub DRM
common.buy 11.23 zł
Zapowiedź
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Gra/Zabawka Zabawka
common.buy 333.91 zł
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / E-book Adobe ePub DRM
common.buy 4.00 zł
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Książka Miękka
common.buy 31.91 zł
Global Tools (1973-1975) / Książka Twarda
common.buy 180.45 zł
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Książka Miękka
common.buy 82.69 zł
Ineos Grenadier Jörg Sand / Książka Twarda
common.buy 71.45 zł
Šťastie na prenájom Lucia Braunová / Książka Miękka
common.buy 30.60 zł
Passwort Logbuch Uwe H. Sültz / Książka Miękka
common.buy 19.56 zł
SLOVO BUDHOVO Nyánatiloka Maháthera / Książka Książka
common.buy 32.01 zł
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Książka Miękka
common.buy 46.46 zł
La Region Mas Transparente Carlos Fuentes / Książka Miękka
common.buy 77.57 zł
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Książka Miękka
common.buy 181.46 zł
Aronia - Das heimische Superfood Tanja Braune / Książka Miękka
common.buy 71.45 zł
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Książka Miękka
common.buy 26.29 zł
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Książka Miękka
common.buy 121.03 zł
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Książka Miękka
common.buy 70.25 zł
Les Petits Loustics Hugues Denisot / Książka Miękka
common.buy 65.53 zł
Ingenieurbauführer Berlin Roland May / Książka Miękka
common.buy 107.08 zł
Main de fer et gant de velours Virginie Platel / Książka Miękka
common.buy 96.84 zł
En Ovantad flykt till Sverige Tadesse Kassa / Książka Miękka
common.buy 46.26 zł
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Książka Miękka
common.buy 36.12 zł

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Model Checking Software
Autor Patrick Godefroid
Język Angielski
Oprawa Książka - Miękka
Data wydania 2005
Liczba stron 292
EAN 9783540281955
ISBN 3540281959
Kod Libristo 01560970
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 960
Wymiary 155 x 235 x 17

Kategoria

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

Mogłoby Cię także zainteresować

Mini Look & Find at School (Mini Look & Find) Thierry Laval / Książka Twarda
common.buy 40.94 zł
Across the Seasons Laura Rugel Glise / Książka Miękka
common.buy 81.29 zł
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Książka Miękka
common.buy 89.52 zł
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Książka Twarda
common.buy 886.34 zł
Home On Bramble Hill Holly Martin / Audiobook MP3
common.buy 64.13 zł
Not in the Flesh Ruth Rendell / Książka Miękka
common.buy 66.03 zł
Lakeland Lynn M. Homan / Książka Miękka
common.buy 88.41 zł
The English Baptists John Clifford / Książka Twarda
common.buy 175.33 zł
White Cats Book Marjo-Kaisu Niinikoski / Książka Miękka
common.buy 88.61 zł
Gabriella's Reading Log Martha Day Zschock / Książka Twarda
common.buy 66.94 zł
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Książka Miękka
common.buy 151.14 zł
Lightning Strikes Stephanie Richards / Książka Miękka
common.buy 57.50 zł
GREAT CAROLS Hal Leonard Corp / Książka Miękka
common.buy 56.09 zł
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Książka Miękka
common.buy 37.83 zł
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Książka Miękka
common.buy 62.92 zł
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Książka Miękka
common.buy 42.55 zł
Double Digit Annabel Monaghan / E-book Adobe ePub DRM
common.buy 10.53 zł
Understanding FIDIC Kelvin Hughes / Książka Twarda
common.buy 754.15 zł
Horrible Craft Book Laura Minter / Książka Miękka
common.buy 66.94 zł
Georgian Tinatin Bolkvadze / Książka Twarda
common.buy 798.32 zł
Fishing Holidays Stephen Gwynn / Książka Miękka
common.buy 102.16 zł
Fist Number 6 Dean Whittington / Książka Twarda
common.buy 115.41 zł
Hegel J. M. Fritzman / Książka Miękka
common.buy 121.53 zł
African Women and Apartheid Rebekah Lee / Książka Twarda
common.buy 747.33 zł

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