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

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Model Checking Software Antti Valmari
Koda Libristo: 01561845
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Celoten opis
? points 129 b
53.26 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Knjiga Mehka
common.buy 16.70 €
Mit Vollgas Weiter Die Jungen Klostertaler / Zvok Zvočni CD
common.buy 16.90 €
Rupáner-konyha Rupáner-Gallé Margó / Knjiga Trda
common.buy 12.85 €
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Knjiga binding.
common.buy 7.89 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Knjiga Mehka
common.buy 23.59 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Knjiga Mehka
common.buy 22.78 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Knjiga Mehka
common.buy 15.69 €
XXX xxx / Knjiga Mehka
common.buy 7.08 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Knjiga Preglednica
common.buy 14.17 €
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Knjiga Mehka
common.buy 34.63 €
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Knjiga Mehka
common.buy 15.28 €
Planner Story Pavel Kosatík / Knjiga Trda
common.buy 0.90 €
Celulas-Tronco Capuano Vanessa Capuano / Knjiga Mehka
common.buy 39.49 €
Corrales: Guia de Servicios Diego Molina Ruiz / Knjiga Mehka
common.buy 5.86 €
La Mort Comme Effet Secondaire Shua / Knjiga Mehka
common.buy 21.97 €
Grundlagen des Usability-Engineering Marcel Thum / Knjiga Mehka
common.buy 15.28 €
SPUREN - Die Opfer des NSU / Film DVD
common.buy 18.02 €
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield / Knjiga Mehka
common.buy 18.32 €
Decirte adiós con un te quiero SILVIA CARPALLO / Knjiga Mehka
common.buy 18.42 €
LED ZEPPELIN MICK WALL / Knjiga Mehka
common.buy 27.64 €
Abraham l'Hebreu - Ministre de Dieu David Daniel Agou / Knjiga Mehka
common.buy 22.68 €
Schäden an polymeren Beschichtungen. Robert Engelfried / Knjiga Trda
common.buy 38.98 €
Vengeful - Die Rache ist mein V. E. Schwab / Knjiga Mehka
common.buy 14.68 €
Grossbuchstaben Geschichten 2 Sara Quast / Knjiga Mehka
common.buy 5.46 €

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.

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 Antti Valmari
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2006
Število strani 308
EAN 9783540331025
ISBN 3540331026
Koda Libristo 01561845
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1010
Mere 155 x 19 x 19

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

Thirteenth Bullet Cotton Smith / Knjiga Mehka
common.buy 6.98 €
Riveted Meljean Brook / Knjiga Mehka
common.buy 19.23 €
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Knjiga Mehka
common.buy 18.93 €
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Knjiga Mehka
common.buy 12.75 €
Nuclear Medicine Dibya Prakash / Knjiga Mehka
common.buy 47.80 €
International Relations Theory Michael Haas / Knjiga Trda
common.buy 127.91 €
Spanish Notebook Christopher Buckley / Knjiga Mehka
common.buy 14.98 €
Wages of Sin Kaite Welsh / Knjiga Mehka
common.buy 13.97 €
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Knjiga Mehka
common.buy 9.81 €
Handbook of Macroeconomics J B Taylor / Knjiga Trda
common.buy 147.36 €
Picasso Anna Coliva / Knjiga Trda
common.buy 45.57 €
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Knjiga Mehka
common.buy 6.37 €
Dancing with Sophia Brian Schroeder / Knjiga Mehka
common.buy 47.49 €
Beginner's Guide to Chinese Brush Painting Susan Self / Knjiga Trda
common.buy 10.02 €
Once Upon a Winter Tennant Tilly Tennant / Knjiga Mehka
common.buy 11.23 €
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Knjiga Mehka
common.buy 7.18 €
Women, Stress, and Heart Disease Kristina Orth-Gomer / E-knjiga Adobe ePub DRM
common.buy 71.29 €
Young ELI Readers - English Jane Cadwallader / Knjiga Mehka
common.buy 7.59 €
Dark Psychology Sushmita Dutta / Knjiga Mehka
common.buy 13.06 €
Top
The Charlie Method Elle Kennedy / Knjiga Mehka
common.buy 13.46 €
Surgery for Parkinson's Disease Robert R. Goodman / Knjiga Trda
common.buy 47.80 €
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine Nikki P. Lee / Knjiga Trda
common.buy 171.36 €
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Knjiga Mehka
common.buy 97.53 €
Writing Indian Nations Konkle / Knjiga Mehka
common.buy 43.64 €

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?