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

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

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Antti Valmari
Codul Libristo: 01561845
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Descrierea completă
? points 142 b
307.63 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

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Carte Carte broșată
common.buy 96.55 lei
Mit Vollgas Weiter Die Jungen Klostertaler / Audio Audio CD
common.buy 97.60 lei
Rupáner-konyha Rupáner-Gallé Margó / Carte Copertă tare
common.buy 76.51 lei
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Carte binding.
common.buy 47.17 lei
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Carte Carte broșată
common.buy 139.56 lei
Fundamentos teóricos y jurídicos de la ordenación del territorio / Carte Carte broșată
common.buy 134.55 lei
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Carte Carte broșată
common.buy 91.12 lei
XXX xxx / Carte Carte broșată
common.buy 41.12 lei
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Carte Foaie
common.buy 82.35 lei
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Carte Carte broșată
common.buy 200.42 lei
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Carte Carte broșată
common.buy 89.97 lei
Planner Story Pavel Kosatík / Carte Copertă tare
common.buy 5.21 lei
Celulas-Tronco Capuano Vanessa Capuano / Carte Carte broșată
common.buy 233.20 lei
Corrales: Guia de Servicios Diego Molina Ruiz / Carte Carte broșată
common.buy 34.33 lei
La Mort Comme Effet Secondaire Shua / Carte Carte broșată
common.buy 126.72 lei
Grundlagen des Usability-Engineering Marcel Thum / Carte Carte broșată
common.buy 89.97 lei
SPUREN - Die Opfer des NSU / Videoclip DVD
common.buy 104.38 lei
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield / Carte Carte broșată
common.buy 106.68 lei
Decirte adiós con un te quiero SILVIA CARPALLO / Carte Carte broșată
common.buy 106.47 lei
LED ZEPPELIN MICK WALL / Carte Carte broșată
common.buy 161.27 lei
Abraham l'Hebreu - Ministre de Dieu David Daniel Agou / Carte Carte broșată
common.buy 131.94 lei
Schäden an polymeren Beschichtungen. Robert Engelfried / Carte Copertă tare
common.buy 228.92 lei
Vengeful - Die Rache ist mein V. E. Schwab / Carte Carte broșată
common.buy 87.37 lei
Grossbuchstaben Geschichten 2 Sara Quast / Carte Carte broșată
common.buy 31.31 lei

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.

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 Antti Valmari
Limba engleză
Legare Carte - Carte broșată
Data publicării 2006
Număr pagini 308
EAN 9783540331025
ISBN 3540331026
Codul Libristo 01561845
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1010
Dimensiuni 155 x 19 x 19

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

Thirteenth Bullet Cotton Smith / Carte Carte broșată
common.buy 40.91 lei
Riveted Meljean Brook / Carte Carte broșată
common.buy 113.46 lei
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Carte Carte broșată
common.buy 111.06 lei
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Carte Carte broșată
common.buy 75.88 lei
Nuclear Medicine Dibya Prakash / Carte Carte broșată
common.buy 280.38 lei
International Relations Theory Michael Haas / Carte Copertă tare
common.buy 671.75 lei
Spanish Notebook Christopher Buckley / Carte Carte broșată
common.buy 87.16 lei
Wages of Sin Kaite Welsh / Carte Carte broșată
common.buy 73.27 lei
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Carte Carte broșată
common.buy 57.20 lei
Handbook of Macroeconomics J B Taylor / Carte Copertă tare
common.buy 774.16 lei
Picasso Anna Coliva / Carte Copertă tare
common.buy 267.33 lei
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Carte Carte broșată
common.buy 37.15 lei
Dancing with Sophia Brian Schroeder / Carte Carte broșată
common.buy 249.59 lei
Beginner's Guide to Chinese Brush Painting Susan Self / Carte Copertă tare
common.buy 59.60 lei
Once Upon a Winter Tennant Tilly Tennant / Carte Carte broșată
common.buy 65.03 lei
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Carte Carte broșată
common.buy 41.95 lei
Women, Stress, and Heart Disease Kristina Orth-Gomer / E-book Adobe ePub DRM
common.buy 412.13 lei
Young ELI Readers - English Jane Cadwallader / Carte Carte broșată
common.buy 43.94 lei
Dark Psychology Sushmita Dutta / Carte Carte broșată
common.buy 75.67 lei
Top
The Charlie Method Elle Kennedy / Carte Carte broșată
common.buy 79.95 lei
Surgery for Parkinson's Disease Robert R. Goodman / Carte Copertă tare
common.buy 280.38 lei
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine Nikki P. Lee / Carte Copertă tare
common.buy 1 005.59 lei
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Carte Carte broșată
common.buy 571.12 lei
Writing Indian Nations Konkle / Carte Carte broșată
common.buy 250.84 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