[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Model Checking Software

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Ezio Bartocci
Code Libristo: 01663942
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2013
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Greek Islands Korina Miller / Livre de poche
common.buy 32.85 €
High Frequency Continuous Time Filters in Digital CMOS Processes Shanthi Pavan / Livre de poche
common.buy 134.22 €
BIENTÔT
9/11 Conspiracy James H. Fetzer / Livre de poche
common.buy 33.49 €
Modern Syntheses of Cobalt (III) Complexes M. Shibata / Livre de poche
common.buy 68.07 €
Monteverdi: Vespers (1610) John (University of Birmingham) Whenham / Livre relié
common.buy 111.96 €
Mitgefühl in der Wirtschaft Tania Singer / Livre de poche
common.buy 18.19 €
Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann / Livre de poche
common.buy 58.86 €
Looking for Love with All the Wrong Husbands Tee Fuller / Livre relié
common.buy 46.23 €
Organometallic Oxidation Catalysis Franc Meyer / Livre de poche
common.buy 266.63 €
Medical Spanish: A Workbook: Study Module 1 Craig A Sinkinson M D / Livre de poche
common.buy 36.81 €
52 Steps to Success Anthony Pan / Livre de poche
common.buy 35.85 €
Advances in Intelligent Systems Masoud Mohammadian / Livre relié
common.buy 146.10 €
Media Strategies for Understanding Contemporary News in a Biased World Bradley K Smith / Livre de poche
common.buy 66.57 €
National Federation of Women Workers, 1906-1921 Cathy Hunt / Livre relié
common.buy 134.22 €

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

À propos du livre

Nom complet Model Checking Software
Auteur Ezio Bartocci, C. R. Ramakrishnan
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2013
Nombre de pages 377
EAN 9783642391750
ISBN 3642391753
Code Libristo 01663942
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 593
Dimensions 155 x 235 x 22

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
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

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