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 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Susanne Graf
Code Libristo: 01559203
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mars 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Description détaillée
? points 136 b
55.39 € TVA incluse
Stockage externe Expédition sous 14-21 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Bientôt
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Livre Livre
common.buy 62.39 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / Livre numérique Adobe ePub DRM
common.buy 7.39 €
Świat. Historia rodzinna (tom 2) Montefiore Simon Sebag / Livre Livre relié
common.buy 24.39 €
Top
Psychológia ako zbraň Tomáš Vepi / Livre Livre relié
common.buy 13.59 €
MYTHOS SANTOS / Livre Livre
common.buy 21.39 €
Kontrastive Medienlinguistik Roman Opilowski / Livre Livre de poche
common.buy 58.00 €
?Quién es mi bebé? EDICIONES / Livre Livre de poche
common.buy 16.99 €
METODO LENGUAJE MUSICAL 3 DICTADOS SANCHO / Livre Livre de poche
common.buy 9.29 €
Tutto il mondo del pane. 400 pani. 70 ricette. Scuole, tecniche, lieviti madre nei cinque continenti Fulvio Marino / Livre Livre relié
common.buy 24.19 €
Unterhaltsrecht Michael Schwimann / Livre Livre relié
common.buy 75.00 €
Le secret en matière fiscale Pilotin / Livre Livre de poche
common.buy 42.49 €
Borderline - Tijuana Connection, 1 DVD William A. Seiter / Video DVD
common.buy 13.59 €
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Livre Livre de poche
common.buy 12.79 €
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Livre Livre de poche
common.buy 13.39 €
Y Dejo Escapar Sus Ojos Teresa Zatarain / Livre Livre relié
common.buy 15.69 €
La semilla del futuro : la agricultura explicada a los ciudadanos François Dufour / Livre Livre de poche
common.buy 22.09 €
Königsblut / Livre Livre de poche
common.buy 7.79 €
Correspondance Du Comte de la Forest, Ambassadeur de France En Espagne, 1808-1813. T7 La Forest-A / Livre Livre de poche
common.buy 23.79 €
Oeuvres Completes de Guy de Maupassant. Tome 13 Bel-Ami Guy De Maupassant / Livre Livre de poche
common.buy 33.99 €
Rafaela McKensey Monika Hoffmann / Livre Livre de poche
common.buy 7.69 €
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Livre Livre relié
common.buy 35.99 €
Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher / Livre Livre de poche
common.buy 48.00 €
Opfer als Tater. Wechselbeziehungen zwischen Opfern und Tatern in La muerte y la doncella Janike Kyritz / Livre Livre de poche
common.buy 15.95 €
Histoire de France 1715-1723 Volume 17 (of 19) Jules Michelet / Livre Livre de poche
common.buy 15.99 €

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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 Susanne Graf, Laurent Mounier
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2004
Nombre de pages 314
EAN 9783540213147
ISBN 3540213147
Code Libristo 01559203
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 493
Dimensions 155 x 235 x 18

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

Frontiers in Algorithms D. T. Lee / Livre Livre de poche
common.buy 53.59 €
Classic Operating Systems Per Brinch Hansen / Livre Livre relié
common.buy 101.79 €
Rayne the Raindrop Marlo Nix / Livre Livre de poche
common.buy 15.29 €
First Steps: Caro-Kann Defence Andrew Martin / Livre Livre de poche
common.buy 18.89 €
Mobile Communications Handbook Jerry D. Gibson / Livre Livre de poche
common.buy 120.09 €
Cozy Camping (A Lexie Starr Mystery, Book 6) Jeanne Glidewell / Livre Livre relié
common.buy 24.49 €
Patología celular Norman F. Cheville / Livre Livre de poche
common.buy 38.49 €
NOVELS, VOLUME 9 IVAN SERGE TURGENEV / Livre Livre relié
common.buy 31.49 €
Critical Readings on Food in East Asia (3 Vols. Set) K. J. Cwiertka / Livre Livre relié
common.buy 1 130.29 €
A Time to Laugh [With Bag] Ben Alex / Livre Livre relié
common.buy 13.69 €
Rick Riordan Presents: Serwa Boateng's Guide to Witchcraft and Mayhem Brown / Livre Livre de poche
common.buy 7.79 €
How's the Weather in Fall? Rebecca Felix / Livre Livre de poche
common.buy 11.89 €
A History of Westbury, Long Island Richard Panchyk / Livre Livre relié
common.buy 23.49 €
Standard English Grammar William Fewsmith / Livre Livre relié
common.buy 30.59 €
Stuck in the Passing Lane Jed Ringel / Livre Livre de poche
common.buy 11.89 €
Digital News and HIV Criminalization Colin Hastings / Livre Livre de poche
common.buy 21.69 €
Scruffy Goes to the Vet Stephen Rickard / Livre Livre de poche
common.buy 5.89 €
Top
The Power of the Pussy Kara King / Livre Livre de poche
common.buy 13.89 €
Entrepreneurship in the Arab World EL KHAZINDAR BUSINES / Livre Livre relié
common.buy 41.69 €
Advent Encounter MATT MESSNER / Livre Livre relié
common.buy 19.09 €
Eugenics and Other Evils G. K. Chesterton / Livre Livre de poche
common.buy 16.29 €
Simply Circles Bayer Philip Bayer / Livre Livre de poche
common.buy 18.09 €
Skim, Dive, Surface Jenae Cohn / Livre Livre de poche
common.buy 23.59 €
Top
My First 100 Technology Words Chris Ferrie / Livre Livre Concertina
common.buy 5.79 €

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 ?