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 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 142 b
58.32 €
In extern magazijn Wordt binnen 10-16 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Programa de educación financeira / Boek Paperback
common.buy 29.06 €
Grundlagen des Usability-Engineering Marcel Thum / Boek Paperback
common.buy 16.09 €
Schäden an polymeren Beschichtungen. Robert Engelfried / Boek Gebonden
common.buy 45.25 €
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Boek Paperback
common.buy 16.09 €
XXX xxx / Boek Paperback
common.buy 6.53 €
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield / Boek Paperback
common.buy 19.21 €
Piri 1 Cornelia Donth-Schäffer / Boek Gebonden
common.buy 28.35 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Boek Paperback
common.buy 23.94 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Boek Paperback
common.buy 24.94 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Boek Blad
common.buy 14.77 €
Rupáner-konyha Rupáner-Gallé Margó / Boek Gebonden
common.buy 15.18 €
Bicycle Panda (Designer Spielkarten, Poker, Skat...) United States Playing Card Company (USPC) / Drukwerk Speelkaarten
common.buy 8.54 €
Die Auswirkungen schlechter Regierungsführung in Kenia: Gewalt nach den Wahlen 2007-2008 Charles Kemboi / Boek Paperback
common.buy 59.23 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Boek Paperback
common.buy 16.39 €
Die sieben Schwestern Lucinda Riley / Boek Paperback
common.buy 12.56 €
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Boek Paperback
common.buy 36.20 €
Decirte adiós con un te quiero SILVIA CARPALLO / Boek Paperback
common.buy 19.90 €
Matrimonio y convivencia en pareja en el ámbito de la Unión Europea : hacia un nuevo modelo de matrimonio Murillo Muñoz / Boek Paperback
common.buy 39.42 €
La televisión local en el País Vasco Santos Díez / Boek Paperback
common.buy 14.37 €
Tu Fuerza Interior: Potencia Tus Fortalezas Para Lograr El Cambio / Your Inner Strength Bernardo Stamateas / Boek Paperback
common.buy 19.10 €
Corrales: Guia de Servicios Diego Molina Ruiz / Boek Paperback
common.buy 6.23 €
Vengeful - Die Rache ist mein V. E. Schwab / Boek Paperback
common.buy 15.58 €
Abraham l'Hebreu - Ministre de Dieu David Daniel Agou / Boek Paperback
common.buy 23.74 €
Celulas-Tronco Capuano Vanessa Capuano / Boek Paperback
common.buy 41.63 €

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 - 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

Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Boek Paperback
common.buy 6.73 €
Riveted Meljean Brook / Boek Paperback
common.buy 20.21 €
Interesting Interlude John Vint / Boek Paperback
common.buy 49.47 €
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Boek Paperback
common.buy 19.91 €
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Boek Paperback
common.buy 23.42 €
Nuclear Medicine Dibya Prakash / Boek Paperback
common.buy 50.18 €
Great Gatsby F Scott Fitzgerald / Boek Paperback
common.buy 9.14 €
International Relations Theory Michael Haas / Boek Gebonden
common.buy 132.15 €
Horse: Its Nature Revealed Emmanuelle Brengard / Boek Gebonden
common.buy 26.96 €
Spanish Notebook Christopher Buckley / Boek Paperback
common.buy 15.69 €
Wages of Sin Kaite Welsh / Boek Paperback
common.buy 28.35 €
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Boek Paperback
common.buy 10.25 €
Thirteenth Bullet Cotton Smith / Boek Paperback
common.buy 7.23 €
Picasso Anna Coliva / Boek Gebonden
common.buy 48.37 €
Handbook of Macroeconomics J B Taylor / Boek Gebonden
common.buy 155.18 €
Dancing with Sophia Brian Schroeder / Boek Paperback
common.buy 52.19 €
Kelna's Marble: A Love Across Two Worlds MR Dennis Howard Toy Jr / Boek Paperback
common.buy 6.73 €
Beginner's Guide to Chinese Brush Painting Susan Self / Boek Gebonden
common.buy 12.76 €
The Great War: Remastered Ww1 Standard History Collection Volume 11 Mark Bussler / Boek Paperback
common.buy 10.25 €
Once Upon a Winter Tennant Tilly Tennant / Boek Paperback
common.buy 11.66 €
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Boek Paperback
common.buy 7.54 €
Wordt verwacht
Introducing, Designing and Conducting Research for Paramedics Alexander Olaussen / Boek Paperback
common.buy 61.84 €
Women, Stress, and Heart Disease Kristina Orth-Gomer / E-book Adobe ePub DRM
common.buy 86.82 €
Young ELI Readers - English Jane Cadwallader / Boek Paperback
common.buy 8.14 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?