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

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Susanne Graf
Libristo kód: 01559203
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Celý popis
? points 135 b
1 352 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Borderline - Tijuana Connection, 1 DVD William A. Seiter / Video DVD
common.buy 316 Kč
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-kniha Adobe ePub DRM
common.buy 213 Kč
Připravujeme
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Kniha Kniha
common.buy 1 682 Kč
?Quién es mi bebé? EDICIONES / Kniha Brožovaná
common.buy 460 Kč
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Kniha Brožovaná
common.buy 287 Kč
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Kniha Brožovaná
common.buy 226 Kč
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Kniha Pevná
common.buy 838 Kč
Rafaela McKensey Monika Hoffmann / Kniha Brožovaná
common.buy 180 Kč
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Kniha Brožovaná
common.buy 336 Kč
Königsblut / Kniha Brožovaná
common.buy 181 Kč

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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 Susanne Graf, Laurent Mounier
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2004
Počet stran 314
EAN 9783540213147
ISBN 3540213147
Libristo kód 01559203
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 493
Rozměry 155 x 235 x 18

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

Frontiers in Algorithms D. T. Lee / Kniha Brožovaná
common.buy 1 386 Kč
Classic Operating Systems Per Brinch Hansen / Kniha Pevná
common.buy 2 357 Kč
First Steps: Caro-Kann Defence Andrew Martin / Kniha Brožovaná
common.buy 547 Kč
Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian / Kniha Brožovaná
common.buy 471 Kč
Obituary Mario Martinez / Kniha Pevná
common.buy 607 Kč
7 Mindsets to Master Self-Awareness Elizabeth Diamond / Kniha Brožovaná
common.buy 377 Kč
Marble Mountain Bud Willis / Kniha Brožovaná
common.buy 497 Kč
Sanctuary Willa Ford / Kniha Pevná
common.buy 756 Kč
Can You Stand to Be Blessed Lakiya Broadus / Kniha Brožovaná
common.buy 467 Kč
A Time to Laugh [With Bag] Ben Alex / Kniha Pevná
common.buy 318 Kč
Patología celular Norman F. Cheville / Kniha Brožovaná
common.buy 1 049 Kč
Mobile Communications Handbook Jerry D. Gibson / Kniha Brožovaná
common.buy 2 819 Kč
Eurythmics Eurythmics / Kniha Brožovaná
common.buy 325 Kč
A History of Westbury, Long Island Richard Panchyk / Kniha Pevná
common.buy 575 Kč
After the World Ended Hannah Lackoff / Kniha Brožovaná
common.buy 340 Kč
Theory of Cryptography Amos Beimel / Kniha Brožovaná
common.buy 1 182 Kč
Eugenics and Other Evils G. K. Chesterton / Kniha Brožovaná
common.buy 400 Kč
Windows Server 2012 R2 Inside Out Volume 1 William Stanek / E-kniha Adobe ePub DRM
common.buy 739 Kč
Methods for Plant Nucleus and Chromatin Studies Célia Baroux / Kniha Pevná
common.buy 5 289 Kč
A to Z of Critical Thinking Beth Black / Kniha Pevná
common.buy 2 640 Kč
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Kniha Brožovaná
common.buy 725 Kč
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Kniha Pevná
common.buy 3 532 Kč
Multicriteria Analysis for Land-Use Management E. Beinat / Kniha Pevná
common.buy 4 707 Kč
From Divergent Power Series to Analytic Functions Werner Balser / Kniha Brožovaná
common.buy 756 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