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 Kurier 12.99 zł Punkt DPD 11.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
222.70 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Die Transformatoren R. Küchler / Książka Miękka
common.buy 332.11 zł
Zapowiedź
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Gra/Zabawka Zabawka
common.buy 339.57 zł
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-book Adobe ePub DRM
common.buy 11.52 zł
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / E-book Adobe ePub DRM
common.buy 4.07 zł
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Książka Miękka
common.buy 28.87 zł
Les plus belles parties d'échecs de Paul Morphy Reinfeld / Książka Miękka
common.buy 78.89 zł
Global Tools (1973-1975) / Książka Twarda
common.buy 182.79 zł
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Książka Miękka
common.buy 128.59 zł
Ineos Grenadier Jörg Sand / Książka Twarda
common.buy 62.15 zł
Šťastie na prenájom Lucia Braunová / Książka Miękka
common.buy 31.12 zł
Passwort Logbuch Uwe H. Sültz / Książka Miękka
common.buy 19.89 zł
Zapowiedź
SLOVO BUDHOVO Nyánatiloka Maháthera / Książka Książka
common.buy 32.55 zł
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Książka Miękka
common.buy 47.25 zł
La Region Mas Transparente Carlos Fuentes / Książka Miękka
common.buy 70.52 zł
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Książka Miękka
common.buy 184.53 zł
Aronia - Das heimische Superfood Tanja Braune / Książka Miękka
common.buy 70.21 zł
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Książka Miękka
common.buy 26.73 zł
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Książka Miękka
common.buy 111.85 zł
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Książka Miękka
common.buy 71.44 zł
Les Petits Loustics Hugues Denisot / Książka Miękka
common.buy 65.52 zł
Ingenieurbauführer Berlin Roland May / Książka Miękka
common.buy 108.90 zł
Main de fer et gant de velours Virginie Platel / Książka Miękka
common.buy 97.77 zł
En Ovantad flykt till Sverige Tadesse Kassa / Książka Miękka
common.buy 47.04 zł
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Książka Miękka
common.buy 32.75 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ć

GREAT CAROLS Hal Leonard Corp / Książka Miękka
common.buy 56.84 zł
Across the Seasons Laura Rugel Glise / Książka Miękka
common.buy 82.66 zł
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Książka Miękka
common.buy 89.91 zł
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Książka Twarda
common.buy 901.34 zł
Home On Bramble Hill Holly Martin / Audiobook MP3
common.buy 65.93 zł
Not in the Flesh Ruth Rendell / Książka Miękka
common.buy 67.15 zł
Lakeland Lynn M. Homan / Książka Miękka
common.buy 89.81 zł
White Cats Book Marjo-Kaisu Niinikoski / Książka Miękka
common.buy 90.11 zł
Gabriella's Reading Log Martha Day Zschock / Książka Twarda
common.buy 68.07 zł
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Książka Miękka
common.buy 153.70 zł
Mini Look & Find at School (Mini Look & Find) Thierry Laval / Książka Twarda
common.buy 41.63 zł
Lightning Strikes Stephanie Richards / Książka Miękka
common.buy 58.47 zł
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Książka Miękka
common.buy 38.47 zł
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Książka Miękka
common.buy 63.99 zł
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Książka Miękka
common.buy 43.27 zł
Double Digit Annabel Monaghan / E-book Adobe ePub DRM
common.buy 42.24 zł
Circle Mosaics Coloring Book 2: Cute Animals Coloring Pages Color by Number Puzzle for Adults Kodomo Publishing / Książka Miękka
common.buy 37.45 zł
Horrible Craft Book Laura Minter / Książka Miękka
common.buy 68.07 zł
Understanding FIDIC Kelvin Hughes / Książka Twarda
common.buy 766.92 zł
Georgian Tinatin Bolkvadze / Książka Twarda
common.buy 811.83 zł
Fishing Holidays Stephen Gwynn / Książka Miękka
common.buy 103.89 zł
Fist Number 6 Dean Whittington / Książka Twarda
common.buy 117.37 zł
TOP
Fun Card English Present Perfect vs Past Simple Dwornik Paweł / Prasa Karty
common.buy 31.12 zł
African Women and Apartheid Rebekah Lee / Książka Twarda
common.buy 759.98 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?