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
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Dragan Bosnacki
Code Libristo: 01568802
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2007
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Description détaillée
? points 125 b
51.68 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Grundlinien der Philosophie D. Fr. Ast / Livre Livre de poche
common.buy 49.96 €
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Livre Livre de poche
common.buy 10.21 €
LES PEINTURES Beeckman / Livre Livre de poche
common.buy 11.42 €
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Livre Livre de poche
common.buy 35.70 €
Das Quiz für Besserwisser I ab 10 Jahren / Livre Livre relié
common.buy 5.65 €
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Livre Livre de poche
common.buy 36.20 €
Ötanazi Okulu 1 Ciltli / Livre Livre de poche
common.buy 20.12 €
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Livre Livre de poche
common.buy 23.15 €
Pasta Masterclass Wiebke Krabbe / Livre Livre relié
common.buy 25.28 €
Krevní banka Tanya Huffová / Livre Livre de poche
common.buy 8.18 €
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Livre Livre de poche
common.buy 39.74 €
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Livre Livre de poche
common.buy 32.87 €
Senzibil Markéta Pilátová / Livre Livre relié
common.buy 11.93 €
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Livre Livre de poche
common.buy 25.99 €
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Livre Livre de poche
common.buy 17.79 €
Top
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Livre Livre de poche
common.buy 13.95 €
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Livre Livre de poche
common.buy 8.79 €
Abordable
Raphael und Pinturicchio in Siena August Schmarsow / Livre Livre de poche
common.buy 1.51 €
Sally y la maldición del rubí PULLMAN / Livre Livre de poche
common.buy 7.98 €
La psicología en la escuela Delval / Livre Livre de poche
common.buy 18.30 €
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Livre Livre de poche
common.buy 53.10 €

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Model Checking Software
Auteur Dragan Bosnacki, Stefan Edelkamp
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2007
Nombre de pages 285
EAN 9783540733690
ISBN 3540733698
Code Libristo 01568802
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 462
Dimensions 155 x 235 x 17

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

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Livre Livre de poche
common.buy 14.86 €
First Man Simon Schwartz / Livre Livre relié
common.buy 35.29 €
Islam in Turkey Frances Hawker / Livre Livre de poche
common.buy 8.39 €
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Livre Livre de poche
common.buy 12.84 €
Facebook Marketing Guide for Beginners Steven Murphy / Livre Livre de poche
common.buy 12.13 €
Drug And Disease Free Michael Broder / Livre Livre de poche
common.buy 9.90 €
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Livre Livre relié
common.buy 77.07 €
Spelling and Dictation Class-Book Anonymous / Livre Livre de poche
common.buy 15.26 €
Around the World in 80 Days Jules Verne / Livre Livre de poche
common.buy 7.88 €
Top
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Livre Livre de poche
common.buy 35.90 €
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Livre Livre de poche
common.buy 10.61 €
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Livre Livre de poche
common.buy 32.16 €
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Livre Livre de poche
common.buy 14.66 €
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / Livre numérique Adobe ePub DRM
common.buy 369.32 €
Centroeuropa Vincente Luis Mora / Livre Livre de poche
common.buy 11.83 €
Clinical Oral Pathology Nabil Kochaji / Livre Livre relié
common.buy 100.74 €
LEARN VIETNAMESE WITH WORD SEARCH PUZZLES FOR ADULTS - Discover How to Improve Foreign Language Skills with a Fun Vocabulary Builder. Find 2000 Words LINGUA CLASSICS / Livre Livre de poche
common.buy 12.13 €
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Livre Livre relié
common.buy 77.27 €
Space Warfare in the 21st Century Joan Johnson-Freese / Livre Livre de poche
common.buy 58.56 €
Breaking the Silence : Little Rock's Women's Emergency Committee to Open Our Sara Alderman Murphy / Livre Livre relié
common.buy 49.66 €
Contact! Bob Tuxford / Livre Livre relié
common.buy 32.26 €
MOD Richard Weight / Livre Livre de poche
common.buy 15.97 €
Icons of Graphic Design Steven Heller / Livre Livre de poche
common.buy 31.75 €
Peer Instruction: Pearson New International Edition Eric Mazur / Livre Livre de poche
common.buy 78.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 ?