Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Model Checking Software
Autor Patrick Godefroid
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2005
Počet strán 292
EAN 9783540281955
ISBN 3540281959
Libristo kód 01560970
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 960
Rozmery 155 x 235 x 17

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Mini Look & Find at School (Mini Look & Find) Thierry Laval / Kniha Pevná
common.buy 9.71 €
Across the Seasons Laura Rugel Glise / Kniha Brožovaná
common.buy 18.12 €
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Kniha Brožovaná
common.buy 21.16 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Kniha Pevná
common.buy 200.02 €
Home On Bramble Hill Holly Martin / Audiokniha MP3
common.buy 15.08 €
Not in the Flesh Ruth Rendell / Kniha Brožovaná
common.buy 14.68 €
Lakeland Lynn M. Homan / Kniha Brožovaná
common.buy 19.64 €
The English Baptists John Clifford / Kniha Pevná
common.buy 41.41 €
White Cats Book Marjo-Kaisu Niinikoski / Kniha Brožovaná
common.buy 19.64 €
Gabriella's Reading Log Martha Day Zschock / Kniha Pevná
common.buy 14.78 €
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Kniha Brožovaná
common.buy 35.74 €
Lightning Strikes Stephanie Richards / Kniha Brožovaná
common.buy 12.75 €
GREAT CAROLS Hal Leonard Corp / Kniha Brožovaná
common.buy 12.45 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Kniha Brožovaná
common.buy 8.90 €
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Kniha Brožovaná
common.buy 14.07 €
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Kniha Brožovaná
common.buy 9.51 €
Double Digit Annabel Monaghan / E-kniha Adobe ePub DRM
common.buy 1.81 €
Understanding FIDIC Kelvin Hughes / Kniha Pevná
common.buy 170.25 €
Horrible Craft Book Laura Minter / Kniha Brožovaná
common.buy 14.78 €
Georgian Tinatin Bolkvadze / Kniha Pevná
common.buy 180.27 €
Fishing Holidays Stephen Gwynn / Kniha Brožovaná
common.buy 22.98 €
Fist Number 6 Dean Whittington / Kniha Pevná
common.buy 26.02 €
Hegel J. M. Fritzman / Kniha Brožovaná
common.buy 27.44 €
African Women and Apartheid Rebekah Lee / Kniha Pevná
common.buy 185.84 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?