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

Tests and Proofs

9th International Conference, TAP 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 22-24, 2015. Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Tests and Proofs Jasmin Christian Blanchette
Code Libristo: 09361553
Éditeurs Springer International Publishing AG, juin 2015
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Description détaillée
? points 127 b
51.69 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Gannibal 6 Masaaki Ninomiya / Livre Livre de poche
common.buy 10.00 €
Chancen und Risiken im Category Management beim Aufbau einer Bio-Handelsmarke in der Drogeriebranche Philipp Voshege / Livre Livre de poche
common.buy 47.95 €
Nevyřešené záhady Egypta Magdalena Zachardová / Livre Livre relié
common.buy 11.59 €
Hameleony Gennadij Murzin / Livre Livre de poche
common.buy 41.89 €
Salin Kaliske Helene Böhlau / Livre Livre de poche
common.buy 36.90 €
Mesačná víla Samuel Salay / Livre Livre relié
common.buy 4.59 €
Enchantimals 01 - Au secours de Felicity ! Mattel / Livre Livre de poche
common.buy 9.59 €
Dikkat Kan Araniyor Zehra Ebrar Bakir / Livre Livre de poche
common.buy 11.59 €
Préhistoires d'Europe Lehoerff anne / Livre Livre
common.buy 34.39 €
Comptines pour se relaxer Gilles Diederichs / Livre Livre de poche
common.buy 18.69 €
Guarda Rural. Temario común para todas las modalidades Formación y Especialización en Seguridad (FYES) / Livre Livre de poche
common.buy 43.29 €
LES AVISOS DRAGUEURS DE 630 TW DU TYPE 'ELAN' - Vol. 1. GARIER / Livre Livre relié
common.buy 60.59 €

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency, and validation, among others. Many papers rely on interactive and automatic§theorem provers, including SMT solvers and model checkers.

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 Tests and Proofs
Auteur Jasmin Christian Blanchette, Nikolai Kosmatov
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2015
Nombre de pages 209
EAN 9783319212142
ISBN 3319212141
Code Libristo 09361553
Éditeurs Springer International Publishing AG
Poids 3577
Dimensions 155 x 235 x 14

Catégories

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 > Modélisation et simulation informatiques
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

Knowledge-Based Software Engineering: 2020 Hiroyuki Nakagawa / Livre Livre relié
common.buy 214.29 €
It Will Never Happen to Me: Growing Up with Addiction as Youngsters, Adolescents, and Adults Claudia Black / Livre Livre de poche
common.buy 14.99 €
Bonereapers Jeanne Matthews / Livre Livre de poche
common.buy 18.39 €
Larry Cohen Michael Doyle / Livre Livre relié
common.buy 54.39 €
Republic of Korea Health System Review Who Regional Office for the Western Paci / Livre Livre de poche
common.buy 27.29 €
Beastwalker Gama Ray Martinez / Livre Livre de poche
common.buy 13.49 €
Travels Through Central Africa to Timbuctoo and Across the Great Desert to Morocco, Performed in the Years 1824-28 Rene Caillie / Livre Livre relié
common.buy 71.19 €
Policy-based Computing with SELINUX Nwamaka U. Okafor / Livre Livre de poche
common.buy 33.59 €
Three Craws Melanie Mitchell / Livre Livre Concertina
common.buy 8.09 €
Bantu Prophets in South Africa Bengt G. M. Sundkler / Livre Livre de poche
common.buy 54.09 €
Bientôt
Department of Defense Posture for Artificial Intelligence William Shelton / Livre Livre de poche
common.buy 29.39 €
Coloring Book - I Spy: Coloring Book for Kids Ages 2-5 Year _ A Fun Guessing Game for Kids Dolly Bond School / Livre Livre de poche
common.buy 6.99 €
Beautiful Book for Little Children John L Shorey / Livre Livre de poche
common.buy 15.99 €
Ultimate Baby Food Cookbook Jayson Young / Livre Livre de poche
common.buy 9.79 €
Passage Justin Cronin / Livre numérique Adobe ePub DRM
common.buy 4.49 €
Autodesk CFD 2023 Black Book Matt Weber / Livre Livre relié
common.buy 75.99 €
Cultural History of the Chinese Character "Ta ( , She)" Huang Xingtao / Livre Livre relié
common.buy 215.89 €
The World Almanac and Book of Facts 2024 Janssen / Livre Livre relié
common.buy 33.39 €
Recovery of degraded areas Bruno M. Araújo / Livre Livre de poche
common.buy 37.29 €
Postanarchism and Critical Art Practices Tihomir Topuzovski / Livre Livre relié
common.buy 131.89 €
Still Life Burke / Livre Livre relié
common.buy 23.49 €
20 Underwater Kingdom Bedtime Stories For Kids Age 3 - 8 Blume Potter / Livre Livre relié
common.buy 28.89 €
CCST Cisco Certified Support Technician Study Guide Todd Lammle / Livre numérique Adobe ePub DRM
common.buy 59.79 €
Lore of the Tides Analeigh Sbrana / Livre Livre de poche
common.buy 11.39 €

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 ?