Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Model Checking Software

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Patrick Godefroid
Libristo kód: 01560970
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Die Transformatoren R. Küchler / Kniha Brožovaná
common.buy 1 763 Kč
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-kniha Adobe ePub DRM
common.buy 64 Kč
Připravujeme
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Hra/Hračka Hračka
common.buy 1 906 Kč
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / E-kniha Adobe ePub DRM
common.buy 23 Kč
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Kniha Brožovaná
common.buy 182 Kč
Global Tools (1973-1975) / Kniha Pevná
common.buy 1 030 Kč
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Kniha Brožovaná
common.buy 497 Kč
Ineos Grenadier Jörg Sand / Kniha Pevná
common.buy 362 Kč
Šťastie na prenájom Lucia Braunová / Kniha Brožovaná
common.buy 168 Kč
Passwort Logbuch Uwe H. Sültz / Kniha Brožovaná
common.buy 106 Kč
SLOVO BUDHOVO Nyánatiloka Maháthera / Kniha Kniha
common.buy 166 Kč
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Kniha Brožovaná
common.buy 249 Kč
La Region Mas Transparente Carlos Fuentes / Kniha Brožovaná
common.buy 443 Kč
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Kniha Brožovaná
common.buy 975 Kč
Aronia - Das heimische Superfood Tanja Braune / Kniha Brožovaná
common.buy 408 Kč
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Kniha Brožovaná
common.buy 142 Kč
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Kniha Brožovaná
common.buy 691 Kč
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Kniha Brožovaná
common.buy 342 Kč
Les Petits Loustics Hugues Denisot / Kniha Brožovaná
common.buy 332 Kč
Ingenieurbauführer Berlin Roland May / Kniha Brožovaná
common.buy 573 Kč
Main de fer et gant de velours Virginie Platel / Kniha Brožovaná
common.buy 553 Kč
En Ovantad flykt till Sverige Tadesse Kassa / Kniha Brožovaná
common.buy 249 Kč
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Kniha Brožovaná
common.buy 206 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Model Checking Software
Autor Patrick Godefroid
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2005
Počet stran 292
EAN 9783540281955
ISBN 3540281959
Libristo kód 01560970
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 960
Rozměry 155 x 235 x 17

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Mini Look & Find at School (Mini Look & Find) Thierry Laval / Kniha Pevná
common.buy 221 Kč
Across the Seasons Laura Rugel Glise / Kniha Brožovaná
common.buy 437 Kč
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Kniha Brožovaná
common.buy 511 Kč
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Kniha Pevná
common.buy 4 835 Kč
Home On Bramble Hill Holly Martin / Audiokniha MP3
common.buy 365 Kč
Not in the Flesh Ruth Rendell / Kniha Brožovaná
common.buy 355 Kč
Lakeland Lynn M. Homan / Kniha Brožovaná
common.buy 474 Kč
The English Baptists John Clifford / Kniha Pevná
common.buy 954 Kč
White Cats Book Marjo-Kaisu Niinikoski / Kniha Brožovaná
common.buy 475 Kč
Gabriella's Reading Log Martha Day Zschock / Kniha Pevná
common.buy 358 Kč
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Kniha Brožovaná
common.buy 813 Kč
Lightning Strikes Stephanie Richards / Kniha Brožovaná
common.buy 308 Kč
GREAT CAROLS Hal Leonard Corp / Kniha Brožovaná
common.buy 301 Kč
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Kniha Brožovaná
common.buy 205 Kč
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Kniha Brožovaná
common.buy 340 Kč
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Kniha Brožovaná
common.buy 231 Kč
Double Digit Annabel Monaghan / E-kniha Adobe ePub DRM
common.buy 43 Kč
Understanding FIDIC Kelvin Hughes / Kniha Pevná
common.buy 4 115 Kč
Horrible Craft Book Laura Minter / Kniha Brožovaná
common.buy 358 Kč
Georgian Tinatin Bolkvadze / Kniha Pevná
common.buy 4 356 Kč
Fishing Holidays Stephen Gwynn / Kniha Brožovaná
common.buy 555 Kč
Fist Number 6 Dean Whittington / Kniha Pevná
common.buy 628 Kč
Hegel J. M. Fritzman / Kniha Brožovaná
common.buy 664 Kč
African Women and Apartheid Rebekah Lee / Kniha Pevná
common.buy 4 266 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?