Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Model Checking Software

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software Antti Valmari
Libristo-code: 01561845
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Volledige beschrijving
? points 148 b
61.16 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Boek Gebonden (paperback)
common.buy 18.32 €
Mit Vollgas Weiter Die Jungen Klostertaler / Audio Audio cd
common.buy 17.71 €
Rupáner-konyha Rupáner-Gallé Margó / Boek Gebonden (harde band)
common.buy 14.57 €
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Boek binding.
common.buy 9.00 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Boek Gebonden (paperback)
common.buy 25.11 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Boek Gebonden (paperback)
common.buy 24.20 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Boek Gebonden (paperback)
common.buy 16.50 €
XXX xxx / Boek Gebonden (paperback)
common.buy 7.79 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Boek Blad
common.buy 14.88 €
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Boek Gebonden (paperback)
common.buy 36.45 €
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Boek Gebonden (paperback)
common.buy 16.20 €
Planner Story Pavel Kosatík / Boek Gebonden (harde band)
common.buy 0.90 €
Celulas-Tronco Capuano Vanessa Capuano / Boek Gebonden (paperback)
common.buy 41.92 €
Corrales: Guia de Servicios Diego Molina Ruiz / Boek Gebonden (paperback)
common.buy 6.17 €
La Mort Comme Effet Secondaire Shua / Boek Gebonden (paperback)
common.buy 24.10 €
Grundlagen des Usability-Engineering Marcel Thum / Boek Gebonden (paperback)
common.buy 16.20 €
SPUREN - Die Opfer des NSU / Video Dvd
common.buy 18.93 €
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield / Boek Gebonden (paperback)
common.buy 19.33 €
Decirte adiós con un te quiero SILVIA CARPALLO / Boek Gebonden (paperback)
common.buy 20.25 €
LED ZEPPELIN MICK WALL / Boek Gebonden (paperback)
common.buy 30.68 €
Abraham l'Hebreu - Ministre de Dieu David Daniel Agou / Boek Gebonden (paperback)
common.buy 23.89 €
Schäden an polymeren Beschichtungen. Robert Engelfried / Boek Gebonden (harde band)
common.buy 45.87 €
Vengeful - Die Rache ist mein V. E. Schwab / Boek Gebonden (paperback)
common.buy 15.69 €
Grossbuchstaben Geschichten 2 Sara Quast / Boek Gebonden (paperback)
common.buy 5.66 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Model Checking Software
Auteur Antti Valmari
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2006
Aantal pagina's 308
EAN 9783540331025
ISBN 3540331026
Libristo-code 01561845
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1010
Afmetingen 155 x 19 x 19

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Thirteenth Bullet Cotton Smith / Boek Gebonden (paperback)
common.buy 7.38 €
Riveted Meljean Brook / Boek Gebonden (paperback)
common.buy 20.35 €
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Boek Gebonden (paperback)
common.buy 20.04 €
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Boek Gebonden (paperback)
common.buy 13.56 €
Nuclear Medicine Dibya Prakash / Boek Gebonden (paperback)
common.buy 50.63 €
International Relations Theory Michael Haas / Boek Gebonden (harde band)
common.buy 134.29 €
Spanish Notebook Christopher Buckley / Boek Gebonden (paperback)
common.buy 15.79 €
Wages of Sin Kaite Welsh / Boek Gebonden (paperback)
common.buy 13.97 €
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Boek Gebonden (paperback)
common.buy 10.32 €
Handbook of Macroeconomics J B Taylor / Boek Gebonden (harde band)
common.buy 154.04 €
Picasso Anna Coliva / Boek Gebonden (harde band)
common.buy 48.20 €
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Boek Gebonden (paperback)
common.buy 6.78 €
Dancing with Sophia Brian Schroeder / Boek Gebonden (paperback)
common.buy 49.82 €
Beginner's Guide to Chinese Brush Painting Susan Self / Boek Gebonden (harde band)
common.buy 10.62 €
Once Upon a Winter Tennant Tilly Tennant / Boek Gebonden (paperback)
common.buy 11.74 €
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Boek Gebonden (paperback)
common.buy 7.59 €
Women, Stress, and Heart Disease Kristina Orth-Gomer / E-book Adobe ePub DRM
common.buy 78.48 €
Young ELI Readers - English Jane Cadwallader / Boek Gebonden (paperback)
common.buy 8.40 €
Dark Psychology Sushmita Dutta / Boek Gebonden (paperback)
common.buy 13.76 €
TOP
The Charlie Method Elle Kennedy / Boek Gebonden (paperback)
common.buy 14.27 €
Surgery for Parkinson's Disease Robert R. Goodman / Boek Gebonden (harde band)
common.buy 50.63 €
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine Nikki P. Lee / Boek Gebonden (harde band)
common.buy 181.39 €
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Boek Gebonden (paperback)
common.buy 103.10 €
Writing Indian Nations Konkle / Boek Gebonden (paperback)
common.buy 45.67 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken