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

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Patrick Godefroid
Code Libristo: 01560970
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, août 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Description détaillée
? points 125 b
51.30 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Die Transformatoren R. Küchler / Livre Livre de poche
common.buy 76.63 €
Šťastie na prenájom Lucia Braunová / Livre Livre de poche
common.buy 7.23 €
Global Tools (1973-1975) / Livre Livre relié
common.buy 41.23 €
Bientôt
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Jeu/jouet Jouet
common.buy 81.36 €
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / Livre numérique Adobe ePub DRM
common.buy 2.71 €
Ineos Grenadier Jörg Sand / Livre Livre relié
common.buy 14.37 €
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Livre Livre de poche
common.buy 20.11 €
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / Livre numérique Adobe ePub DRM
common.buy 0.90 €
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Livre Livre de poche
common.buy 7.23 €
Les plus belles parties d'échecs de Paul Morphy Reinfeld / Livre Livre de poche
common.buy 18.19 €
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Livre Livre de poche
common.buy 6.23 €
Top
SLOVO BUDHOVO Nyánatiloka Maháthera / Livre Livre
common.buy 7.53 €
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Livre Livre de poche
common.buy 10.85 €
La Region Mas Transparente Carlos Fuentes / Livre Livre de poche
common.buy 17.99 €
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Livre Livre de poche
common.buy 42.55 €
Histoire de Jerusalem Amand Biechy / Livre Livre de poche
common.buy 20.21 €
Aronia - Das heimische Superfood Tanja Braune / Livre Livre de poche
common.buy 15.98 €
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Livre Livre de poche
common.buy 28.25 €
Passwort Logbuch Uwe H. Sültz / Livre Livre de poche
common.buy 5.02 €
Top
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Livre Livre de poche
common.buy 18.50 €
Top
Les Petits Loustics Hugues Denisot / Livre Livre de poche
common.buy 14.17 €
Ingenieurbauführer Berlin Roland May / Livre Livre de poche
common.buy 25.13 €
Main de fer et gant de velours Virginie Platel / Livre Livre de poche
common.buy 29.06 €
En Ovantad flykt till Sverige Tadesse Kassa / Livre Livre de poche
common.buy 10.85 €

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

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 Patrick Godefroid
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2005
Nombre de pages 292
EAN 9783540281955
ISBN 3540281959
Code Libristo 01560970
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 960
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

A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Livre Livre de poche
common.buy 14.78 €
Lightning Strikes Stephanie Richards / Livre Livre de poche
common.buy 13.47 €
Across the Seasons Laura Rugel Glise / Livre Livre de poche
common.buy 16.28 €
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Livre Livre de poche
common.buy 19.80 €
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Livre Livre de poche
common.buy 35.39 €
Not in the Flesh Ruth Rendell / Livre Livre de poche
common.buy 15.48 €
Lakeland Lynn M. Homan / Livre Livre de poche
common.buy 21.21 €
White Cats Book Marjo-Kaisu Niinikoski / Livre Livre de poche
common.buy 20.81 €
Gabriella's Reading Log Martha Day Zschock / Livre Livre relié
common.buy 15.68 €
Mini Look & Find at School (Mini Look & Find) Thierry Laval / Livre Livre relié
common.buy 9.65 €
GREAT CAROLS Hal Leonard Corp / Livre Livre de poche
common.buy 13.77 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Livre Livre de poche
common.buy 8.84 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Livre Livre relié
common.buy 243.08 €
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Livre Livre de poche
common.buy 9.95 €
Circle Mosaics Coloring Book 2: Cute Animals Coloring Pages Color by Number Puzzle for Adults Kodomo Publishing / Livre Livre de poche
common.buy 8.64 €
Horrible Craft Book Laura Minter / Livre Livre de poche
common.buy 15.68 €
Georgian Tinatin Bolkvadze / Livre Livre relié
common.buy 197.62 €
Fishing Holidays Stephen Gwynn / Livre Livre de poche
common.buy 23.93 €
Fist Number 6 Dean Whittington / Livre Livre relié
common.buy 26.94 €
Understanding FIDIC Kelvin Hughes / Livre Livre relié
common.buy 197.62 €
Double Digit Annabel Monaghan / Livre numérique Adobe ePub DRM
common.buy 9.65 €
Home On Bramble Hill Holly Martin / Livre audio MP3
common.buy 15.08 €
Illustrated Tales of Warwickshire S. C. Skillman / Livre Livre de poche
common.buy 16.99 €
Roughing the Pastor "Rev" / Livre Livre de poche
common.buy 12.26 €

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 ?