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

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Hardware and Software: Verification and Testing Armin Biere
Code Libristo: 01664050
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Description détaillée
? points 121 b
49.49 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Livre Livre de poche
common.buy 15.95 €
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Livre Livre de poche
common.buy 4.29 €
Heilige Maria, Mutter Gottes / Livre Feuille
common.buy 4.19 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Livre Livre
common.buy 31.99 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Livre Livre de poche
common.buy 54.90 €
Schody do nebe Lorna Byrneová / Livre Livre relié
common.buy 9.59 €
Tumeurs malignes rares Jean-Pierre Droz / Livre Livre relié
common.buy 173.79 €
Philologus / Livre Livre relié
common.buy 119.90 €
Gra Szacho-warcaby 31 / Livre binding.
common.buy 37.29 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Livre Livre de poche
common.buy 7.19 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / Livre numérique Adobe ePub DRM
common.buy 8.29 €
Bientôt
Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Livre Livre relié
common.buy 17.09 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Livre Livre de poche
common.buy 30.79 €
Praxeologie der Moderne Gunnar Skirbekk / Livre Livre de poche
common.buy 47.39 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Livre Livre de poche
common.buy 17.95 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Livre binding.
common.buy 29.19 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Livre Livre de poche
common.buy 24.29 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Livre Livre de poche
common.buy 13.49 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Livre Livre de poche
common.buy 11.79 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Livre Livre de poche
common.buy 17.39 €
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Livre Livre de poche
common.buy 8.69 €
Politische Justiz 1918-1933 Heinrich Hannover / Livre Livre de poche
common.buy 22.00 €
Dalmatien - 1.000 Teile (Puzzle) / Jeu/jouet Jeu
common.buy 32.89 €
Odisea / The Odyssey HOMERO / Livre Livre de poche
common.buy 11.69 €

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

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 Armin Biere, Amir Nahir, Tanja Vos
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2013
Nombre de pages 281
EAN 9783642396106
ISBN 3642396100
Code Libristo 01664050
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 456
Dimensions 155 x 235 x 19

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

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Livre Livre relié
common.buy 118.29 €
Understanding Marketing & Technology Without Losing Your Mind: A Practical Guide for Managers and Leaders Dave Tedlock / Livre Livre de poche
common.buy 12.59 €
Rethinking Genesis 1-11 Gordon J. Wenham / Livre Livre relié
common.buy 27.39 €
Top
Oxford Primary Illustrated Maths Dictionary / Livre Livre de poche
common.buy 11.39 €
Top
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Livre Livre relié
common.buy 21.99 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Livre Livre relié
common.buy 214.29 €
Rocket Science Alan McFadzean / Livre Livre de poche
common.buy 37.99 €
Draw and Color Your Dragon JOHN SMITH / Livre Livre de poche
common.buy 18.79 €
In the Heights LIN-MANUEL MIRANDA / Livre Livre relié
common.buy 32.29 €
Children of Jocasta Natalie Haynes / Livre Livre de poche
common.buy 10.29 €
Smart Education and e-Learning 2019 Vladimir L. Uskov / Livre Livre relié
common.buy 214.29 €
Top
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Livre Livre relié
common.buy 35.29 €
Top
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Livre Livre de poche
common.buy 16.49 €
Donbas Conflict in Ukraine Daria Platonova / Livre Livre relié
common.buy 215.89 €
Life's Edge Carl Zimmer / Livre Livre de poche
common.buy 14.99 €
This Is Me (from the Greatest Showman) Justin Paul / Livre Livre de poche
common.buy 5.79 €
Of Ancients Unbound T.C. Edge / Livre Livre de poche
common.buy 25.99 €
World Literature Klaudia Hiu Yen Lee / Livre Livre relié
common.buy 215.89 €
Dark Waters Jason Wright / Livre numérique Adobe ePub DRM
common.buy 3.39 €
Hypertension and Stroke Venkatesh Aiyagari / Livre Livre de poche
common.buy 209.99 €
Dionysius of Halicarnasssus W. Rhys Roberts / Livre Livre de poche
common.buy 49.79 €
Beginning Human Rights Law Howard Davis / Livre Livre de poche
common.buy 65.49 €
K-Theory and C*-Algebras: A Friendly Approach Niels Erik Wegge-Olsen / Livre Livre relié
common.buy 281.09 €
Top
Basic Economics Thomas Sowell / Livre Livre relié
common.buy 35.29 €

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 ?