A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Model Checking Software

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Susanne Graf
Libristo kód: 01559203
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, március 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Teljes leírás
? points 145 b
21 201 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-18 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-könyv Adobe ePub DRM
common.buy 3 095 Ft
Hamarosan
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Könyv Könyv
common.buy 24 563 Ft
METODO LENGUAJE MUSICAL 3 DICTADOS SANCHO / Könyv Puha kötésű
common.buy 3 652 Ft
?Quién es mi bebé? EDICIONES / Könyv Puha kötésű
common.buy 6 719 Ft
Borderline - Tijuana Connection, 1 DVD William A. Seiter / Filmek DVD
common.buy 5 259 Ft
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Könyv Puha kötésű
common.buy 4 439 Ft
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Könyv Puha kötésű
common.buy 7 009 Ft
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Könyv Kemény kötésű
common.buy 14 266 Ft
Rafaela McKensey Monika Hoffmann / Könyv Puha kötésű
common.buy 5 521 Ft
Königsblut / Könyv Puha kötésű
common.buy 2 993 Ft
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Könyv Puha kötésű
common.buy 5 563 Ft
Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher / Könyv Puha kötésű
common.buy 76 765 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Model Checking Software
Szerző Susanne Graf, Laurent Mounier
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2004
Oldalszám 314
EAN 9783540213147
ISBN 3540213147
Libristo kód 01559203
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 493
Méretek 155 x 235 x 18

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Frontiers in Algorithms D. T. Lee / Könyv Puha kötésű
common.buy 20 239 Ft
Classic Operating Systems Per Brinch Hansen / Könyv Kemény kötésű
common.buy 41 546 Ft
First Steps: Caro-Kann Defence Andrew Martin / Könyv Puha kötésű
common.buy 9 537 Ft
Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian / Könyv Puha kötésű
common.buy 8 077 Ft
Obituary Mario Martinez / Könyv Kemény kötésű
common.buy 9 974 Ft
7 Mindsets to Master Self-Awareness Elizabeth Diamond / Könyv Puha kötésű
common.buy 6 208 Ft
Marble Mountain Bud Willis / Könyv Puha kötésű
common.buy 8 178 Ft
Sanctuary Willa Ford / Könyv Kemény kötésű
common.buy 12 369 Ft
Can You Stand to Be Blessed Lakiya Broadus / Könyv Puha kötésű
common.buy 7 727 Ft
A Time to Laugh [With Bag] Ben Alex / Könyv Kemény kötésű
common.buy 5 360 Ft
Patología celular Norman F. Cheville / Könyv Puha kötésű
common.buy 15 335 Ft
Mobile Communications Handbook Jerry D. Gibson / Könyv Puha kötésű
common.buy 46 114 Ft
Eurythmics Eurythmics / Könyv Puha kötésű
common.buy 5 563 Ft
A History of Westbury, Long Island Richard Panchyk / Könyv Kemény kötésű
common.buy 9 841 Ft
After the World Ended Hannah Lackoff / Könyv Puha kötésű
common.buy 5 664 Ft
Theory of Cryptography Amos Beimel / Könyv Puha kötésű
common.buy 21 201 Ft
Advent Encounter MATT MESSNER / Könyv Kemény kötésű
common.buy 7 755 Ft
Eugenics and Other Evils G. K. Chesterton / Könyv Puha kötésű
common.buy 6 774 Ft
Windows Server 2012 R2 Inside Out Volume 1 William Stanek / E-könyv Adobe ePub DRM
common.buy 10 790 Ft
Methods for Plant Nucleus and Chromatin Studies Célia Baroux / Könyv Kemény kötésű
common.buy 93 343 Ft
A to Z of Critical Thinking Beth Black / Könyv Kemény kötésű
common.buy 42 610 Ft
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Könyv Puha kötésű
common.buy 12 410 Ft
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Könyv Kemény kötésű
common.buy 63 742 Ft
Multicriteria Analysis for Land-Use Management E. Beinat / Könyv Kemény kötésű
common.buy 82 245 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?