Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Model Checking Software

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Antti Valmari
Code Libristo: 01561845
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mars 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Description détaillée
? points 148 b
60.39 € TVA incluse
Stockage externe en petites quantités Expédition sous 11-15 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

XXX xxx / Livre Livre de poche
common.buy 8.09 €
Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Livre Livre de poche
common.buy 18.89 €
Celulas-Tronco Capuano Vanessa Capuano / Livre Livre de poche
common.buy 43.79 €
Programa de educación financeira / Livre Livre de poche
common.buy 30.19 €
Planner Story Pavel Kosatík / Livre Livre relié
common.buy 0.89 €
Bicycle Panda (Designer Spielkarten, Poker, Skat...) United States Playing Card Company (USPC) / Jeu/jouet Jeu
common.buy 8.19 €
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Livre Livre de poche
common.buy 17.95 €
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Livre Livre de poche
common.buy 61.99 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Livre Feuille
common.buy 15.49 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Livre Livre de poche
common.buy 25.29 €
Rupáner-konyha Rupáner-Gallé Margó / Livre Livre relié
common.buy 15.19 €
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Livre binding.
common.buy 9.39 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Livre Livre de poche
common.buy 27.95 €
Grossbuchstaben Geschichten 2 Sara Quast / Livre Livre de poche
common.buy 5.89 €
Mit Vollgas Weiter Die Jungen Klostertaler / Audio CD Audio
common.buy 18.29 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Livre Livre de poche
common.buy 21.99 €
Decirte adiós con un te quiero SILVIA CARPALLO / Livre Livre de poche
common.buy 20.89 €
Matrimonio y convivencia en pareja en el ámbito de la Unión Europea : hacia un nuevo modelo de matrimonio Murillo Muñoz / Livre Livre de poche
common.buy 41.29 €
La televisión local en el País Vasco Santos Díez / Livre Livre de poche
common.buy 15.19 €
Corrales: Guia de Servicios Diego Molina Ruiz / Livre Livre de poche
common.buy 6.49 €
Handbuch Der Waffenkunde Wendelin Boeheim / Livre Livre de poche
common.buy 54.90 €
I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal Erik J. Stagnelius / Livre Livre relié
common.buy 31.99 €
La Mort Comme Effet Secondaire Shua / Livre Livre de poche
common.buy 24.79 €
Vengeful - Die Rache ist mein V. E. Schwab / Livre Livre de poche
common.buy 18.00 €

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 & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Model Checking Software
Auteur Antti Valmari
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2006
Nombre de pages 308
EAN 9783540331025
ISBN 3540331026
Code Libristo 01561845
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1010
Dimensions 155 x 19 x 19

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Thirteenth Bullet Cotton Smith / Livre Livre de poche
common.buy 7.69 €
Surgery for Parkinson's Disease Robert R. Goodman / Livre Livre relié
common.buy 52.69 €
Riveted Meljean Brook / Livre Livre de poche
common.buy 21.29 €
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Livre Livre de poche
common.buy 20.89 €
Top
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Livre Livre de poche
common.buy 14.29 €
Nuclear Medicine Dibya Prakash / Livre Livre de poche
common.buy 52.69 €
International Relations Theory Michael Haas / Livre Livre relié
common.buy 135.39 €
Spanish Notebook Christopher Buckley / Livre Livre de poche
common.buy 16.39 €
Wages of Sin Kaite Welsh / Livre Livre de poche
common.buy 12.49 €
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Livre Livre de poche
common.buy 10.69 €
Handbook of Macroeconomics J B Taylor / Livre Livre relié
common.buy 158.69 €
Picasso Anna Coliva / Livre Livre relié
common.buy 50.79 €
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Livre Livre de poche
common.buy 6.99 €
Dancing with Sophia Brian Schroeder / Livre Livre de poche
common.buy 54.09 €
Beginner's Guide to Chinese Brush Painting Susan Self / Livre Livre relié
common.buy 11.19 €
Once Upon a Winter Tennant Tilly Tennant / Livre Livre de poche
common.buy 12.19 €
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Livre Livre de poche
common.buy 7.89 €
Women, Stress, and Heart Disease Kristina Orth-Gomer / Livre numérique Adobe ePub DRM
common.buy 81.39 €
Young ELI Readers - English Jane Cadwallader / Livre Livre de poche
common.buy 8.59 €
Dark Psychology Sushmita Dutta / Livre Livre de poche
common.buy 14.19 €
Top
The Charlie Method Elle Kennedy / Livre Livre de poche
common.buy 14.99 €
Portrait Of Mary In Heaven, And The Virgin And Saints Napoleon Roussel / Livre Livre de poche
common.buy 19.99 €
Methotrexate Bruce N. Cronstein / Livre Livre relié
common.buy 106.69 €
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Livre Livre de poche
common.buy 107.29 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?