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
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Abstraction Refinement for Large Scale Model Checking

Langue AnglaisAnglais
Livre Livre relié
Livre Abstraction Refinement for Large Scale Model Checking Chao Wang
Code Libristo: 05247797
Éditeurs Springer-Verlag New York Inc., juillet 2006
This book summarizes recent research on abstraction techniques for model checking large digital syst... Description détaillée
? points 277 b
114.22 €
Stockage externe en petites quantités Expédition sous 11-15 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Livre Livre de poche
common.buy 28.24 €
La Riviera de Charles Garnier Michel / Livre Livre de poche
common.buy 13.71 €
Izabela ratuje wróżki. Duże litery. Opowiadania do nauki czytania Agata Giełczyńska-Jonik / Livre Livre de poche
common.buy 2.21 €
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Livre Livre de poche
common.buy 24.01 €
Juan Bauptista Mart­nez del Maso SOLANO OROPESA / Livre Livre de poche
common.buy 9.58 €
Järjestelmävirhe / Livre Livre relié
common.buy 26.53 €
Demokratisierung der Raumplanung. Peter Knoepfel / Livre Livre de poche
common.buy 79.81 €
Les 25 plus belles balades faciles de la Haute Corse Quilici / Livre Livre de poche
common.buy 12.40 €
BELLEZA Y DESOLACIÓN / Livre Livre de poche
common.buy 20.47 €
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Livre Livre de poche
common.buy 10.28 €
5-3-1 Methode Dr. Martin Sewer / Livre Livre de poche
common.buy 15.13 €
Apreciatividad Laura Isanta / Livre Livre de poche
common.buy 17.45 €
Erfolgstechniken Max Frankes / Livre Livre de poche
common.buy 35.61 €
Griechische Metallpanzer Arnold Hagemann / Livre Livre de poche
common.buy 24.11 €
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Livre Livre de poche
common.buy 42.77 €
El Libro de los Mundos Sheyla Preve / Livre Livre de poche
common.buy 11.29 €
Anbau von Heidelbeeren und Cranberries Georg Ebert / Livre Livre relié
common.buy 26.73 €
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Livre Livre de poche
common.buy 15.43 €
Taschenbuch der Mathematik Helmut Wörle / Livre Livre relié
common.buy 112.50 €
Alles für den Schein Rudolf Inderst / Livre Livre de poche
common.buy 79.81 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Livre Livre de poche
common.buy 14.32 €
Lara's Theme Detlef Wolf / Livre Livre de poche
common.buy 18.96 €
Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ / Livre Livre de poche
common.buy 56.80 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Livre Livre de poche
common.buy 50.85 €

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.§

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Abstraction Refinement for Large Scale Model Checking
Auteur Chao Wang, Gary D. Hachtel, Fabio Somenzi
Langue Anglais
Reliure Livre - Livre relié
Date de parution 2006
Nombre de pages 179
EAN 9780387341552
ISBN 0387341552
Code Libristo 05247797
Éditeurs Springer-Verlag New York Inc.
Poids 1000
Dimensions 155 x 235 x 16

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Electronique : circuits et composants
Technologie, ingénierie et agriculture, procédés industriels > Technologie : généralités > Ingénierie : généralités
Technologie, ingénierie et agriculture, procédés industriels > Génie énergétique > Electrotechnique
Informatique et technologies de l’information > Applications graphiques et applications médias numériques > Conception assistée par ordinateur (CAO)
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

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Livre Livre de poche
common.buy 9.68 €
Top
The Journey from Abandonment to Healing Susan Anderson / Livre Livre de poche
common.buy 15.73 €
Handbook of Dramatherapy Sue Jennings / Livre Livre relié
common.buy 167.09 €
Interface Oral Health Science 2016 Keiichi Sasaki / Livre Livre relié
common.buy 50.44 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Livre Livre de poche
common.buy 9.68 €
Caleb's Reading Log Martha Day Zschock / Livre Livre de poche
common.buy 8.37 €
Practical Clinical Guide to Resin Cements Michelle Sunico-Segarra / Livre Livre de poche
common.buy 70.42 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Livre Livre relié
common.buy 33.49 €
Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors Peter W. de Vries / Livre Livre de poche
common.buy 66.89 €
Deepening Your Marriage Jilene Scherbenske / Livre Livre de poche
common.buy 15.23 €
A Memoir of Holstein: An Engineer Traces His Origin: A Memoir of Holstein: An Engineer Traces His Origin Gary G Ruhser / Livre Livre de poche
common.buy 15.73 €
Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous / Livre Livre de poche
common.buy 31.57 €
Birth of an Opera Michael Rose / Livre Livre relié
common.buy 34.00 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Livre Livre de poche
common.buy 17.04 €
Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury / Livre Livre de poche
common.buy 83.54 €
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Livre Livre relié
common.buy 382.02 €
52 Things Sarah Wants David To Know: A Different Way To Say It Levy / Livre Livre de poche
common.buy 13.92 €
Waterville Phyllis Witzler / Livre Livre relié
common.buy 24.51 €
Catalogue of a Large Collection of Antient and Modern Coins and Medals, in Gold, Silver, and Copper, Consisting of Phoenician, Etruscan, Greek, Roman, MR. GERARD / Livre Livre relié
common.buy 26.83 €
4000 lists AP Spanish Language and Culture Test Prep Student Edition Book 1: The Ultimate Fast track Spanish Literature preparation textbook quick stu College Education Center / Livre Livre de poche
common.buy 15.73 €
Rethinking Social Action through Music GEOFFREY BAKER / Livre Livre de poche
common.buy 49.03 €
MLK: An American Legacy David J. Garrow / Livre numérique Adobe ePub DRM
common.buy 17.35 €
Market Development and Policy for One Belt One Road Achim I. Czerny / Livre numérique Adobe ePub DRM
common.buy 140.86 €
Learning About Difficult Subjects Rapko / Livre Livre de poche
common.buy 12.91 €

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 ?