A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Model Checking Software

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Patrick Godefroid
Libristo kód: 01560970
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augusztus 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Teljes leírás
? points 136 b
19 893 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Die Transformatoren R. Küchler / Könyv Puha kötésű
common.buy 29 682 Ft
Hamarosan
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Játék Játék
common.buy 27 922 Ft
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-könyv Adobe ePub DRM
common.buy 938 Ft
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / E-könyv Adobe ePub DRM
common.buy 337 Ft
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Könyv Puha kötésű
common.buy 2 638 Ft
Les plus belles parties d'échecs de Paul Morphy Reinfeld / Könyv Puha kötésű
common.buy 7 091 Ft
Global Tools (1973-1975) / Könyv Kemény kötésű
common.buy 15 121 Ft
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Könyv Puha kötésű
common.buy 7 281 Ft
Ineos Grenadier Jörg Sand / Könyv Kemény kötésű
common.buy 5 613 Ft
Šťastie na prenájom Lucia Braunová / Könyv Puha kötésű
common.buy 2 564 Ft
Passwort Logbuch Uwe H. Sültz / Könyv Puha kötésű
common.buy 1 760 Ft
SLOVO BUDHOVO Nyánatiloka Maháthera / Könyv Könyv
common.buy 2 679 Ft
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Könyv Puha kötésű
common.buy 4 232 Ft
La Region Mas Transparente Carlos Fuentes / Könyv Puha kötésű
common.buy 6 477 Ft
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Könyv Puha kötésű
common.buy 16 599 Ft
Aronia - Das heimische Superfood Tanja Braune / Könyv Puha kötésű
common.buy 5 978 Ft
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Könyv Puha kötésű
common.buy 2 375 Ft
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Könyv Puha kötésű
common.buy 10 108 Ft
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Könyv Puha kötésű
common.buy 6 167 Ft
Les Petits Loustics Hugues Denisot / Könyv Puha kötésű
common.buy 5 493 Ft
Ingenieurbauführer Berlin Roland May / Könyv Puha kötésű
common.buy 10 857 Ft
Main de fer et gant de velours Virginie Platel / Könyv Puha kötésű
common.buy 8 117 Ft
En Ovantad flykt till Sverige Tadesse Kassa / Könyv Puha kötésű
common.buy 4 232 Ft
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Könyv Puha kötésű
common.buy 3 003 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Model Checking Software
Szerző Patrick Godefroid
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2005
Oldalszám 292
EAN 9783540281955
ISBN 3540281959
Libristo kód 01560970
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 960
Méretek 155 x 235 x 17

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

GREAT CAROLS Hal Leonard Corp / Könyv Puha kötésű
common.buy 4 865 Ft
Across the Seasons Laura Rugel Glise / Könyv Puha kötésű
common.buy 7 415 Ft
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Könyv Puha kötésű
common.buy 7 503 Ft
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Könyv Kemény kötésű
common.buy 79 360 Ft
Home On Bramble Hill Holly Martin / Hangoskönyv MP3
common.buy 5 345 Ft
Not in the Flesh Ruth Rendell / Könyv Puha kötésű
common.buy 6 020 Ft
Lakeland Lynn M. Homan / Könyv Puha kötésű
common.buy 7 660 Ft
White Cats Book Marjo-Kaisu Niinikoski / Könyv Puha kötésű
common.buy 8 159 Ft
Gabriella's Reading Log Martha Day Zschock / Könyv Kemény kötésű
common.buy 6 154 Ft
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Könyv Puha kötésű
common.buy 13 827 Ft
Mini Look & Find at School (Mini Look & Find) Thierry Laval / Könyv Kemény kötésű
common.buy 3 737 Ft
Lightning Strikes Stephanie Richards / Könyv Puha kötésű
common.buy 5 290 Ft
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Könyv Puha kötésű
common.buy 3 414 Ft
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Könyv Puha kötésű
common.buy 5 682 Ft
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Könyv Puha kötésű
common.buy 3 853 Ft
Double Digit Annabel Monaghan / E-könyv Adobe ePub DRM
common.buy 864 Ft
Circle Mosaics Coloring Book 2: Cute Animals Coloring Pages Color by Number Puzzle for Adults Kodomo Publishing / Könyv Puha kötésű
common.buy 3 326 Ft
Horrible Craft Book Laura Minter / Könyv Puha kötésű
common.buy 6 154 Ft
Understanding FIDIC Kelvin Hughes / Könyv Kemény kötésű
common.buy 67 537 Ft
Georgian Tinatin Bolkvadze / Könyv Kemény kötésű
common.buy 71 492 Ft
Fishing Holidays Stephen Gwynn / Könyv Puha kötésű
common.buy 9 198 Ft
Fist Number 6 Dean Whittington / Könyv Kemény kötésű
common.buy 10 372 Ft
Toplistás
Fun Card English Present Perfect vs Past Simple Dwornik Paweł / Nyomtatványok Kártya
common.buy 2 887 Ft
African Women and Apartheid Rebekah Lee / Könyv Kemény kötésű
common.buy 69 090 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?