Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Model Checking Software

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

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Susanne Graf
Codul Libristo: 01559203
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Descrierea completă
? points 142 b
307.23 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Borderline - Tijuana Connection, 1 DVD William A. Seiter / Videoclip DVD
common.buy 75.99 lei
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-book Adobe ePub DRM
common.buy 46.28 lei
Curând
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Carte Carte
common.buy 365.20 lei
?Quién es mi bebé? EDICIONES / Carte Carte broșată
common.buy 99.87 lei
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Carte Carte broșată
common.buy 69.63 lei
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Carte Carte broșată
common.buy 55.35 lei
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Carte Copertă tare
common.buy 200.79 lei
Rafaela McKensey Monika Hoffmann / Carte Carte broșată
common.buy 42.94 lei
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Carte Carte broșată
common.buy 80.37 lei
Königsblut / Carte Carte broșată
common.buy 43.15 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Model Checking Software
Autor Susanne Graf, Laurent Mounier
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 314
EAN 9783540213147
ISBN 3540213147
Codul Libristo 01559203
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 493
Dimensiuni 155 x 235 x 18

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Frontiers in Algorithms D. T. Lee / Carte Carte broșată
common.buy 300.87 lei
Classic Operating Systems Per Brinch Hansen / Carte Copertă tare
common.buy 570.37 lei
First Steps: Caro-Kann Defence Andrew Martin / Carte Carte broșată
common.buy 137.82 lei
Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian / Carte Carte broșată
common.buy 115.92 lei
Obituary Mario Martinez / Carte Copertă tare
common.buy 144.59 lei
7 Mindsets to Master Self-Awareness Elizabeth Diamond / Carte Carte broșată
common.buy 89.86 lei
Marble Mountain Bud Willis / Carte Carte broșată
common.buy 118.53 lei
Sanctuary Willa Ford / Carte Copertă tare
common.buy 179.31 lei
Can You Stand to Be Blessed Lakiya Broadus / Carte Carte broșată
common.buy 111.75 lei
A Time to Laugh [With Bag] Ben Alex / Carte Copertă tare
common.buy 77.03 lei
Patología celular Norman F. Cheville / Carte Carte broșată
common.buy 227.79 lei
Mobile Communications Handbook Jerry D. Gibson / Carte Carte broșată
common.buy 668.68 lei
Eurythmics Eurythmics / Carte Carte broșată
common.buy 79.85 lei
A History of Westbury, Long Island Richard Panchyk / Carte Copertă tare
common.buy 141.36 lei
After the World Ended Hannah Lackoff / Carte Carte broșată
common.buy 81.83 lei
Theory of Cryptography Amos Beimel / Carte Carte broșată
common.buy 285.96 lei
Eugenics and Other Evils G. K. Chesterton / Carte Carte broșată
common.buy 97.47 lei
Windows Server 2012 R2 Inside Out Volume 1 William Stanek / E-book Adobe ePub DRM
common.buy 160.44 lei
Methods for Plant Nucleus and Chromatin Studies Célia Baroux / Carte Copertă tare
common.buy 1 282.85 lei
A to Z of Critical Thinking Beth Black / Carte Copertă tare
common.buy 603.32 lei
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Carte Carte broșată
common.buy 178.27 lei
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Carte Copertă tare
common.buy 854.78 lei
Multicriteria Analysis for Land-Use Management E. Beinat / Carte Copertă tare
common.buy 1 138.98 lei
From Divergent Power Series to Analytic Functions Werner Balser / Carte Carte broșată
common.buy 179.31 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo