[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

Hardware and Software: Verification and Testing

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

Ajedrez hipermoderno. Vol. I Ricardo Aguilera López / Livre de poche
common.buy 12.41 €
Heartwood James Lee Burke / Livre de poche
common.buy 12.41 €
hombre y el zorro Idries Shah / Livre de poche
common.buy 11.98 €
Wupp geht um Martina Temming / Livre de poche
common.buy 10.60 €
Advances in Power Quality Jeremy Giamatti / Livre relié
common.buy 98.04 €
Get Over Yourself! Jennifer Beckham / Livre de poche
common.buy 19.58 €
Crack Coach Steven Sandor / Livre de poche
common.buy 11.66 €
Handbook of Power Management Circuits / Livre relié
common.buy 278.73 €

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.

À 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

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