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

Hardware and Software: Verification and Testing

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Hardware and Software: Verification and Testing Valeria Bertacco
Code Libristo: 02152556
Éditeurs Springer International Publishing AG, octobre 2013
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

amore al tempo dei social Karin Anzai Livre Livre
common.buy 8.89 €
CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Livre binding.
common.buy 25.59 €
August und Elisabeth Macke Anna Luisa Walter / Livre Livre de poche
common.buy 38.00 €
Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg / Livre Livre de poche
common.buy 3.39 €
Gachiakuta. Крутые отбросы. Том 2 / Livre Livre relié
common.buy 28.19 €
Smradľavý útok Grázlika Gaba Francesca Simon / Livre Livre de poche
common.buy 6.29 €
Wanderer zwischen Musik, Politik und Recht Becker / Livre Livre relié
common.buy 125.39 €
Ajedrez hipermoderno. Vol. I Ricardo Aguilera López / Livre Livre de poche
common.buy 9.99 €
Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero / Livre Livre de poche
common.buy 9.79 €
hombre y el zorro Idries Shah / Livre Livre de poche
common.buy 10.29 €
Eveliina von Waisin etiaiset Anneli Alatalo / Livre Livre de poche
common.buy 25.29 €
Wupp geht um Martina Temming / Livre Livre de poche
common.buy 9.90 €
Der Realitätenkellner Werner A. Leeb / Livre Livre de poche
common.buy 43.19 €
Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch / Livre Livre de poche
common.buy 52.95 €
Tagbuch einer Reise in Inner-Arabien Julius Euting / Livre Livre de poche
common.buy 34.90 €

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

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 Hardware and Software: Verification and Testing
Auteur Valeria Bertacco, Axel Legay
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2013
Nombre de pages 366
EAN 9783319030760
ISBN 3319030760
Code Libristo 02152556
Éditeurs Springer International Publishing AG
Poids 593
Dimensions 155 x 235 x 22

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
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 > Informatique > Intelligence artificielle
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

Drought Stress Tolerance in Plants, Vol 1 Hossain Mohammad Anwar / Livre Livre relié
common.buy 160.89 €
Nginx Essentials Valery Kholodkov / Livre Livre de poche
common.buy 41.69 €
Surgical Pathology of Non-neoplastic Gastrointestinal Diseases Lizhi Zhang / Livre Livre relié
common.buy 157.49 €
Day You Begin Jacqueline Woodson / Livre Livre relié
common.buy 11.09 €
Biotechnology and the Challenge of Property NWABUEZE / Livre Livre de poche
common.buy 79.79 €
Air Travel Claims in Australia and New Zealand Gary N Heilbronn / Livre Livre de poche
common.buy 22.99 €
Rust + Moth: Winter 2017 Rust and Moth / Livre Livre de poche
common.buy 7.99 €
Advances in Power Quality Jeremy Giamatti / Livre Livre relié
common.buy 81.79 €
Get Over Yourself! Jennifer Beckham / Livre Livre de poche
common.buy 17.39 €
Protein Translation Eric Jan / Livre Livre de poche
common.buy 65.89 €
Methods and Data in English Historical Dialectology Marina Dossena / Livre Livre de poche
common.buy 142.59 €
Handbook of Power Management Circuits Haruo Kobayashi / Livre Livre relié
common.buy 277.09 €
Systematic Approach to Curriculum Planning Chipo Chirimuuta / Livre Livre de poche
common.buy 54.99 €
Heartwood James Lee Burke / Livre Livre de poche
common.buy 11.99 €
Solar Cells and Energy Materials Takeo Oku / Livre Livre relié
common.buy 103.39 €
Healing Psoriasis Rachelle Harlan / Livre Livre de poche
common.buy 20.89 €
Physical and Inorganic Chemistry J. Barthel / Livre Livre de poche
common.buy 107.29 €
History and Biography T. C. W. BlanningDavid Cannadine / Livre Livre relié
common.buy 131.79 €
Cooking With Healing Mushrooms Stepfanie Romine / Livre numérique Adobe ePub DRM
common.buy 19.19 €

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 ?