Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Model Checking Software

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Model Checking Software Susanne Graf
Koda Libristo: 01559203
Založba 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... Celoten opis
? points 129 b
53.10 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Borderline - Tijuana Connection, 1 DVD William A. Seiter / Film DVD
common.buy 13.01 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-knjiga Adobe ePub DRM
common.buy 7.87 €
Kmalu
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Knjiga Knjiga
common.buy 63.10 €
?Quién es mi bebé? EDICIONES / Knjiga Mehka
common.buy 17.26 €
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Knjiga Mehka
common.buy 11.10 €
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Knjiga Mehka
common.buy 9.28 €
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Knjiga Trda
common.buy 34.52 €
Rafaela McKensey Monika Hoffmann / Knjiga Mehka
common.buy 7.46 €
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Knjiga Mehka
common.buy 13.82 €
Königsblut / Knjiga Mehka
common.buy 7.46 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Model Checking Software
Avtor Susanne Graf, Laurent Mounier
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2004
Število strani 314
EAN 9783540213147
ISBN 3540213147
Koda Libristo 01559203
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 493
Mere 155 x 235 x 18

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Frontiers in Algorithms D. T. Lee / Knjiga Mehka
common.buy 51.48 €
Classic Operating Systems Per Brinch Hansen / Knjiga Trda
common.buy 97.22 €
First Steps: Caro-Kann Defence Andrew Martin / Knjiga Mehka
common.buy 23.72 €
Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian / Knjiga Mehka
common.buy 19.38 €
Obituary Mario Martinez / Knjiga Trda
common.buy 25.03 €
7 Mindsets to Master Self-Awareness Elizabeth Diamond / Knjiga Mehka
common.buy 15.54 €
Marble Mountain Bud Willis / Knjiga Mehka
common.buy 20.49 €
Sanctuary Willa Ford / Knjiga Trda
common.buy 31.19 €
Can You Stand to Be Blessed Lakiya Broadus / Knjiga Mehka
common.buy 19.28 €
A Time to Laugh [With Bag] Ben Alex / Knjiga Trda
common.buy 13.12 €
Patología celular Norman F. Cheville / Knjiga Mehka
common.buy 38.96 €
Mobile Communications Handbook Jerry D. Gibson / Knjiga Mehka
common.buy 116.31 €
Eurythmics Eurythmics / Knjiga Mehka
common.buy 13.42 €
A History of Westbury, Long Island Richard Panchyk / Knjiga Trda
common.buy 23.72 €
After the World Ended Hannah Lackoff / Knjiga Mehka
common.buy 14.02 €
Theory of Cryptography Amos Beimel / Knjiga Mehka
common.buy 48.76 €
Eugenics and Other Evils G. K. Chesterton / Knjiga Mehka
common.buy 16.45 €
Windows Server 2012 R2 Inside Out Volume 1 William Stanek / E-knjiga Adobe ePub DRM
common.buy 27.35 €
Methods for Plant Nucleus and Chromatin Studies Célia Baroux / Knjiga Trda
common.buy 218.18 €
A to Z of Critical Thinking Beth Black / Knjiga Trda
common.buy 114.59 €
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Knjiga Mehka
common.buy 29.88 €
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Knjiga Trda
common.buy 145.69 €
Multicriteria Analysis for Land-Use Management E. Beinat / Knjiga Trda
common.buy 194.15 €
From Divergent Power Series to Analytic Functions Werner Balser / Knjiga Mehka
common.buy 31.19 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?