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

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Alastair Donaldson
Code Libristo: 01661641
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juillet 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Description détaillée
? points 121 b
49.49 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Krabben Günter Pump / Livre Livre relié
common.buy 9.95 €
Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Livre Livre de poche
common.buy 34.29 €
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Livre Livre de poche
common.buy 45.59 €
Analisi del (dis)comfort termico e sue implicazioni pedagogiche Juv?ncio Olinda Jo?o Macovela / Livre Livre de poche
common.buy 27.99 €
Veselý vlak - Nálepky do vane neuvedený autor / Articles imprimés Cartes
common.buy 12.09 €
Polnische Ostseeküste Wolfgang Kling / Livre Livre de poche
common.buy 16.95 €
FAUNO Cristina Lobo / Livre Livre de poche
common.buy 22.09 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Livre Livre de poche
common.buy 29.19 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Livre Livre de poche
common.buy 17.95 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Livre Livre de poche
common.buy 38.00 €
Ganz normale Bürger David King / Livre Livre relié
common.buy 21.59 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Livre Livre de poche
common.buy 14.90 €

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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 Alastair Donaldson, David Parker
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2012
Nombre de pages 261
EAN 9783642317583
ISBN 3642317588
Code Libristo 01661641
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 421
Dimensions 155 x 235 x 15

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel > Test et vérification de logiciel
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 > Informatique > Architecture informatique et conception logique
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

Why America's Public Schools Are the Best Place for Kids Dave F. Brown / Livre Livre relié
common.buy 121.29 €
Hidden Dungeon Only I Can Enter (Manga) Vol. 1 Tomoyuki Hino / Livre Livre de poche
common.buy 11.19 €
Equivalence and Literary Translation. Short Introduction to the Translation Studies Marta Zapala-Kraj / Livre Livre de poche
common.buy 26.19 €
Trapped Under the Sea Neil Swidey / Livre Livre de poche
common.buy 19.59 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Livre Livre relié
common.buy 47.49 €
Stories from Mother's Note Book Lucy Tonge / Livre Livre relié
common.buy 32.79 €
Sanctuary of Demeter and Kore Nancy Bookidis / Livre Livre relié
common.buy 186.09 €
Music and Technology: A Very Short Introduction Katz / Livre Livre de poche
common.buy 11.19 €
Poetical Works of John Dryden. with Life and Critical Dissertation [By George Gilfillan]. the Text Edited by Charles Cowden Clarke. Charles Cowden Clarke / Livre Livre de poche
common.buy 26.39 €
A treatise on the improvement of canal navigation; ... Illustrated with seventeen plates. By R. Fulton, ... Robert Fulton / Livre Livre de poche
common.buy 19.49 €
Methane and its Derivatives Sunggyu Lee / Livre Livre relié
common.buy 483.59 €
Restraining Rage William Vernon Harris / Livre Livre de poche
common.buy 48.19 €
Begegnung Mit Der Vergangenheit Alberto Giacometti / Livre Livre relié
common.buy 115.49 €
Integration Through Foreign Direct Investment Gábor Hunya / Livre Livre relié
common.buy 172.69 €
Classification and Cognition William K. Estes / Livre Livre de poche
common.buy 55.59 €
Last Generation of the Roman Republic Gruen / Livre Livre de poche
common.buy 50.49 €
Everything we do is music Barry Russell / Livre Livre de poche
common.buy 33.99 €
International Climate Change Law Daniel Bodansky / Livre Livre de poche
common.buy 95.09 €
The Fulcrum Files Mark Chisnell / Livre Livre de poche
common.buy 16.39 €
Esther's Tooth: Judge Ortega investigates Mike Thomas / Livre Livre de poche
common.buy 15.39 €
Cracked James Davies / Livre Livre de poche
common.buy 14.69 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Livre Livre relié
common.buy 193.29 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Livre Livre de poche
common.buy 12.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 ?