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 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Celý popis
? points 135 b
55.77 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Borderline - Tijuana Connection, 1 DVD William A. Seiter / Video DVD
common.buy 13.73 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-kniha Adobe ePub DRM
common.buy 8.78 €
Pripravujeme
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Kniha Kniha
common.buy 69.41 €
?Quién es mi bebé? EDICIONES / Kniha Brožovaná
common.buy 18.99 €
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Kniha Brožovaná
common.buy 12.52 €
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Kniha Brožovaná
common.buy 9.89 €
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Kniha Pevná
common.buy 36.37 €
Rafaela McKensey Monika Hoffmann / Kniha Brožovaná
common.buy 7.77 €
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Kniha Brožovaná
common.buy 13.83 €
Königsblut / Kniha Brožovaná
common.buy 7.87 €

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 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 Susanne Graf, Laurent Mounier
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2004
Počet strán 314
EAN 9783540213147
ISBN 3540213147
Libristo kód 01559203
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 493
Rozmery 155 x 235 x 18

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ť

Frontiers in Algorithms D. T. Lee / Kniha Brožovaná
common.buy 57.19 €
Classic Operating Systems Per Brinch Hansen / Kniha Pevná
common.buy 102.86 €
First Steps: Caro-Kann Defence Andrew Martin / Kniha Brožovaná
common.buy 23.74 €
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 19.39 €
Obituary Mario Martinez / Kniha Pevná
common.buy 25.05 €
7 Mindsets to Master Self-Awareness Elizabeth Diamond / Kniha Brožovaná
common.buy 15.55 €
Marble Mountain Bud Willis / Kniha Brožovaná
common.buy 20.50 €
Sanctuary Willa Ford / Kniha Pevná
common.buy 31.22 €
Can You Stand to Be Blessed Lakiya Broadus / Kniha Brožovaná
common.buy 19.29 €
A Time to Laugh [With Bag] Ben Alex / Kniha Pevná
common.buy 13.94 €
Patología celular Norman F. Cheville / Kniha Brožovaná
common.buy 43.34 €
Mobile Communications Handbook Jerry D. Gibson / Kniha Brožovaná
common.buy 116.40 €
Eurythmics Eurythmics / Kniha Brožovaná
common.buy 13.43 €
A History of Westbury, Long Island Richard Panchyk / Kniha Pevná
common.buy 23.74 €
After the World Ended Hannah Lackoff / Kniha Brožovaná
common.buy 14.04 €
Theory of Cryptography Amos Beimel / Kniha Brožovaná
common.buy 51.63 €
Eugenics and Other Evils G. K. Chesterton / Kniha Brožovaná
common.buy 16.46 €
Windows Server 2012 R2 Inside Out Volume 1 William Stanek / E-kniha Adobe ePub DRM
common.buy 30.51 €
Methods for Plant Nucleus and Chromatin Studies Célia Baroux / Kniha Pevná
common.buy 231.20 €
A to Z of Critical Thinking Beth Black / Kniha Pevná
common.buy 114.68 €
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Kniha Brožovaná
common.buy 29.90 €
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Kniha Pevná
common.buy 154.20 €
Multicriteria Analysis for Land-Use Management E. Beinat / Kniha Pevná
common.buy 205.53 €
From Divergent Power Series to Analytic Functions Werner Balser / Kniha Brožovaná
common.buy 31.22 €

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