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

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Jaco C. van de Pol
Code Libristo: 01656755
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembre 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Description détaillée
? points 148 b
60.49 € TVA incluse
Stockage externe Expédition sous 14-21 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

In den Tropen - Ein Blick in die tropische Klimazone (Tischkalender 2026 DIN A5 quer), CALVENDO Monatskalender Calvendo / Calendrier/agenda Calendrier
common.buy 20.99 €
Top
PUZZLE 1000 Witraż Zwierzęta 10957 / Jeu/jouet Puzzle
common.buy 6.79 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendrier/agenda Calendrier
common.buy 56.39 €
Star Wars Hidden Empire T02 / Livre Livre de poche
common.buy 22.29 €
Be Kind (Nepali-English) Livia Lemgruber / Livre Livre de poche
common.buy 18.09 €
Las Grandes Batallas Navales 10. La Hougue JEAN-YVES DELITTE / Livre Livre de poche
common.buy 21.29 €
Shame - 368000 km pour découvrir... mon histoire volée par MK2 production Wild / Livre Livre de poche
common.buy 18.89 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Calendrier/agenda Agenda
common.buy 11.19 €
Den Libanon lieben lernen Laura Ziegler / Livre Livre de poche
common.buy 7.99 €
Diamante Nero Victoria Quinn / Livre Livre de poche
common.buy 16.39 €
Die besten Aufstriche selbst gemacht Charly Till / Livre Livre de poche
common.buy 9.99 €
Textanfänge Ulrike Krieg-Holz / Livre Livre de poche
common.buy 49.80 €
Raketa Hravá kniha pro děti collegium / Livre Livre de poche
common.buy 13.39 €
El estado de las gastronomías González de Heredia Garaygordobil / Livre Livre de poche
common.buy 28.19 €
Nach dem bewaffneten Kampf Angelika Holderberg / Livre Livre de poche
common.buy 9.99 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Livre Livre de poche
common.buy 13.59 €
Uzniki Razuma Tat'yana Volkova / Livre Livre de poche
common.buy 54.89 €

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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 Jaco C. van de Pol, Michael Weber
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2010
Nombre de pages 263
EAN 9783642161636
ISBN 3642161634
Code Libristo 01656755
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 421
Dimensions 159 x 235 x 18

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
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 > Informatique théorique
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

Dynamic Stochastic Optimization K. Marti / Livre Livre de poche
common.buy 107.29 €
Artificial Intelligence Applications and Innovations Lazaros S. Iliadis / Livre Livre de poche
common.buy 107.29 €
Myofascial Induction (TM) Andrzej Pilat / Livre Livre relié
common.buy 155.79 €
The Shadow Lily Johanna Mo / Livre Livre de poche
common.buy 14.69 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Livre Livre de poche
common.buy 7.19 €
Top
Down the Highway: The Life of Bob Dylan Howard Sounes / Livre Livre de poche
common.buy 18.09 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Livre Livre de poche
common.buy 14.19 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Livre Livre de poche
common.buy 7.79 €
Statistical Mechanics of Neural Networks Huang / Livre Livre de poche
common.buy 160.89 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Livre Livre de poche
common.buy 32.79 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Livre Livre de poche
common.buy 15.19 €
Shadowless Alison Robinson / Livre Livre relié
common.buy 18.89 €
Harbor Knight Ralph A Garcia / Livre Livre de poche
common.buy 16.49 €
Best Is Always... Still Yet to Come! Keith Payne / Livre Livre de poche
common.buy 18.09 €
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Livre Livre relié
common.buy 45.59 €
Adventures of Doctor Chess A Student / Livre Livre de poche
common.buy 24.59 €
Tour to London Pierre Jean Grosley / Livre Livre de poche
common.buy 28.29 €
Sword Song Sal Quartuccio / Livre Livre de poche
common.buy 20.19 €
Causal Analysis with Panel Data Steven Eric Finkel / Livre Livre de poche
common.buy 28.79 €
Boxer's Bible of Counterpunching Mark Hatmaker / Livre Livre de poche
common.buy 11.89 €

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 ?