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 gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 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

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

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

Akár 30 napos visszaküldési lehetőség

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

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Könyv Puha kötésű
common.buy 6 519 Ft
Planner Story Pavel Kosatík / Könyv Kemény kötésű
common.buy 351 Ft
Programa de educación financeira / Könyv Puha kötésű
common.buy 10 418 Ft
Celulas-Tronco Capuano Vanessa Capuano / Könyv Puha kötésű
common.buy 16 234 Ft
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Könyv Puha kötésű
common.buy 6 269 Ft
LED ZEPPELIN MICK WALL / Könyv Puha kötésű
common.buy 10 857 Ft
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Könyv Lap
common.buy 5 715 Ft
XXX xxx / Könyv Puha kötésű
common.buy 2 786 Ft
Fundamentos teóricos y jurídicos de la ordenación del territorio / Könyv Puha kötésű
common.buy 9 360 Ft
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Könyv Puha kötésű
common.buy 9 711 Ft
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Könyv binding.
common.buy 3 178 Ft
Rupáner-konyha Rupáner-Gallé Margó / Könyv Kemény kötésű
common.buy 5 709 Ft
Bicycle Panda (Designer Spielkarten, Poker, Skat...) United States Playing Card Company (USPC) / Játék Játék
common.buy 3 428 Ft
Grossbuchstaben Geschichten 2 Sara Quast / Könyv Puha kötésű
common.buy 2 167 Ft
Mit Vollgas Weiter Die Jungen Klostertaler / Hanganyagok Audio CD
common.buy 6 754 Ft
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Könyv Puha kötésű
common.buy 6 315 Ft
Decirte adiós con un te quiero SILVIA CARPALLO / Könyv Puha kötésű
common.buy 7 133 Ft
Matrimonio y convivencia en pareja en el ámbito de la Unión Europea : hacia un nuevo modelo de matrimonio Murillo Muñoz / Könyv Puha kötésű
common.buy 14 109 Ft
La televisión local en el País Vasco Santos Díez / Könyv Puha kötésű
common.buy 5 188 Ft
Corrales: Guia de Servicios Diego Molina Ruiz / Könyv Puha kötésű
common.buy 2 375 Ft
Handbuch Der Waffenkunde Wendelin Boeheim / Könyv Puha kötésű
common.buy 18 988 Ft
I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal Erik J. Stagnelius / Könyv Kemény kötésű
common.buy 10 884 Ft
La Mort Comme Effet Secondaire Shua / Könyv Puha kötésű
common.buy 8 556 Ft
Vengeful - Die Rache ist mein V. E. Schwab / Könyv Puha kötésű
common.buy 6 094 Ft

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

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ő Antti Valmari
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2006
Oldalszám 308
EAN 9783540331025
ISBN 3540331026
Libristo kód 01561845
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1010
Méretek 155 x 19 x 19

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

Thirteenth Bullet Cotton Smith / Könyv Puha kötésű
common.buy 2 841 Ft
Surgery for Parkinson's Disease Robert R. Goodman / Könyv Kemény kötésű
common.buy 19 500 Ft
Riveted Meljean Brook / Könyv Puha kötésű
common.buy 7 895 Ft
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Könyv Puha kötésű
common.buy 7 720 Ft
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Könyv Puha kötésű
common.buy 5 290 Ft
Nuclear Medicine Dibya Prakash / Könyv Puha kötésű
common.buy 19 500 Ft
International Relations Theory Michael Haas / Könyv Kemény kötésű
common.buy 47 538 Ft
Spanish Notebook Christopher Buckley / Könyv Puha kötésű
common.buy 6 034 Ft
Wages of Sin Kaite Welsh / Könyv Puha kötésű
common.buy 4 865 Ft
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Könyv Puha kötésű
common.buy 3 955 Ft
Handbook of Macroeconomics J B Taylor / Könyv Kemény kötésű
common.buy 54 542 Ft
Picasso Anna Coliva / Könyv Kemény kötésű
common.buy 18 780 Ft
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Könyv Puha kötésű
common.buy 2 578 Ft
Dancing with Sophia Brian Schroeder / Könyv Puha kötésű
common.buy 17 652 Ft
Beginner's Guide to Chinese Brush Painting Susan Self / Könyv Kemény kötésű
common.buy 4 144 Ft
Once Upon a Winter Tennant Tilly Tennant / Könyv Puha kötésű
common.buy 4 500 Ft
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Könyv Puha kötésű
common.buy 2 901 Ft
Women, Stress, and Heart Disease Kristina Orth-Gomer / E-könyv Adobe ePub DRM
common.buy 27 747 Ft
Young ELI Readers - English Jane Cadwallader / Könyv Puha kötésű
common.buy 2 961 Ft
Dark Psychology Sushmita Dutta / Könyv Puha kötésű
common.buy 5 230 Ft
Toplistás
The Charlie Method Elle Kennedy / Könyv Puha kötésű
common.buy 5 581 Ft
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Könyv Puha kötésű
common.buy 39 671 Ft
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine Nikki P. Lee / Könyv Kemény kötésű
common.buy 69 893 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?