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

4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Hardware and Software: Verification and Testing Hana Chockler
Code Libristo: 01649749
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, avril 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International H... 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é

BERENGUELA DE NAVARRA.REINA DE INGLATERRA TRINDADE / Livre Livre de poche
common.buy 30.19 €
Cesarisme Et Christianisme (de l'An 45 Avant J.-C. A l'An 476 Apres) (2e Edition) Proudhon-P-J / Livre Livre de poche
common.buy 24.79 €
Phytosanierung von metallkontaminierten Böden mit Hilfe ausgewählter einheimischer Pflanzen SUBHA SHINI / Livre Livre de poche
common.buy 76.90 €
Ein Schritt weiter Benjamin Kunkel / Livre Livre de poche
common.buy 20.59 €
Pierre Bayle Ludwig Feuerbach / Livre Livre de poche
common.buy 29.90 €
Boxer and Brandon (Bengali Book for Kids) Inna Nusinsky / Livre Livre de poche
common.buy 17.19 €
gegenwartige Stand der Gedachtnisforschung Gerrit Witt / Livre Livre de poche
common.buy 17.95 €
Religionsunterricht ist in den oeffentlichen Schulen mit Ausnahme der bekenntnisfreien Schulen ordentliches Lehrfach Johannes Richter / Livre Livre de poche
common.buy 27.95 €
Hilflos Dick Francis / Livre Livre de poche
common.buy 11.39 €
Was Ist Und Wozu Soziooekonomie? Reinhold Hedtke / Livre Livre de poche
common.buy 59.99 €
Bilanz des Europaischen Systems der Zentralbanken (ESZB). Eine desaggregierte Betrachtung Carl-Jonathan Bertheau / Livre Livre de poche
common.buy 18.95 €
MARRUECOS 2017 Lee / Livre Livre de poche
common.buy 33.59 €
Le Jeu de Strategie, Ou Les Echecs Militaires 2e Ed. De Firmas-Peries-A-C-D / Livre Livre de poche
common.buy 18.79 €
Mindfulness : guía práctica : para encontrar la paz en un mundo frenético Danny Penman / Livre Livre de poche
common.buy 24.29 €
La deuda Rafael Gumucio Araya / Livre Livre de poche
common.buy 22.29 €
Invasió subtil i altres contes Pere Calders / Livre Livre de poche
common.buy 14.79 €
10 Consejos Para Mejorar La Relacion Con Tus Hijos Alma Ramirez / Livre Livre de poche
common.buy 7.29 €
Persi Dzhekson i prokljatie titana Rick Riordan / Livre Livre relié
common.buy 15.59 €
Observations Sur Le Dernier Budget, Adressees Par Un Pair Aux Deux Chambres, A l'Ouverture Mole-L-M / Livre Livre de poche
common.buy 13.59 €

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Conference, HVC 2008, held in Haifa, Israel in October 2008.§The 12 revised full papers and 4 tool papers presented together with 6 invited lectures were carefully reviewed and selected from 49 initial submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing). Within each paradigm, different algorithms and techniques are used for hardware and software systems with a special focus on hybrid methods.

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 Hana Chockler, Alan J. Hu
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2009
Nombre de pages 215
EAN 9783642017018
ISBN 3642017010
Code Libristo 01649749
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 355
Dimensions 155 x 235 x 13

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
Informatique et technologies de l’information > Technologies de l’information : questions générales
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

Handover in DVB-H Xiaodong Yang / Livre Livre de poche
common.buy 115.59 €
Globalization, Difference, and Human Security Mustapha Kamal Pasha / Livre Livre de poche
common.buy 77.69 €
Surviving The Storm Mrs Jessica Amos / Livre Livre de poche
common.buy 6.99 €
Bientôt
Wit and Wisdom of Dad Emotional Rescue / Livre Livre relié
common.buy 8.09 €
Big Lessons for Little Christians Mila Anderson / Livre Livre de poche
common.buy 14.49 €
The Spirit World: Spirit Walking Dean Moriarty / Livre Livre de poche
common.buy 9.69 €
Syllabus of Lectures on Remedies. John Norton Pomeroy / Livre Livre de poche
common.buy 12.49 €
Mommy, Are YOU Listening? ? ? Patrice Lee / Livre Livre de poche
common.buy 11.19 €
Masquerades; Or, What You Will. by the Author of Eliza Warwick, &c. in Four Volumes. ... of 4; Volume 1 AUTHOR OF ELIZA WARW / Livre Livre relié
common.buy 33.69 €
Unmanned Aerial Vehicle (UAV) Muhammed Ehtisham Yahya Farooqi / Livre Livre de poche
common.buy 51.19 €
Jazzy Opera Classix: For Tenor Saxophone Hal Leonard Publishing Corporation / Livre Livre relié
common.buy 20.99 €
Cat-Dependent No More! Jeffrey Reid / Livre Livre de poche
common.buy 13.79 €
Crrn Exam Secrets Study Guide: Crrn Test Review for the Certified Rehabilitation Registered Nurse Exam Mometrix Media / Livre Livre de poche
common.buy 82.09 €
Top
Naruto: Itachi's Story, Vol. 1 Takashi Yano / Livre Livre de poche
common.buy 10.29 €
Global Business in Local Culture Philipp Aerni / Livre Livre de poche
common.buy 59.19 €
Destiny Elizabeth Haydon / Livre Livre de poche
common.buy 19.69 €
Carving Creative Walking Sticks and Canes Paul Purnell / Livre Livre de poche
common.buy 19.29 €
Handbook to the ethnographical Collections British Museum / Livre Livre de poche
common.buy 21.29 €
A Catalogue Of Paintings In The Collection Of Mr. And Mrs. Charles P. Taft, At Cincinnati, Ohio (1920) Maurice Walter Brockwell / Livre Livre de poche
common.buy 30.79 €
Emblems for the Young from Scripture, Nature and Art (1833) Cornelius Neale / Livre Livre de poche
common.buy 22.99 €
Sheltering Mercy Dan Wilt / Livre Livre relié
common.buy 18.79 €
Picture You Dead Wayne Brookes / Livre Livre de poche
common.buy 20.09 €
Mystery Weekly Magazine: May 2020 Kerry Carter / Livre Livre de poche
common.buy 7.99 €
Classic Starts (R): The Adventures of Robin Hood John Burrows / Livre Livre relié
common.buy 8.89 €

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 ?