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 €
phone Contact phoneComment faire ses achats

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 290 b
118.29 € TVA incluse
Stockage externe en petites quantités Expédition sous 11-15 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Apreciatividad Laura Isanta / Livre Livre de poche
common.buy 18.09 €
BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh / Livre Livre de poche
common.buy 29.49 €
HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT / Livre Livre de poche
common.buy 10.69 €
Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard / Livre Livre de poche
common.buy 24.89 €
La Riviera de Charles Garnier Michel / Livre Livre de poche
common.buy 14.09 €
Järjestelmävirhe / Livre Livre relié
common.buy 27.89 €
Demokratisierung der Raumplanung. Peter Knoepfel / Livre Livre de poche
common.buy 84.90 €
Les 25 plus belles balades faciles de la Haute Corse Quilici / Livre Livre de poche
common.buy 12.79 €
BELLEZA Y DESOLACIÓN / Livre Livre de poche
common.buy 21.09 €
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 58.79 €
5-3-1 Methode Dr. Martin Sewer / Livre Livre de poche
common.buy 16.80 €
Griechische Metallpanzer Arnold Hagemann / Livre Livre de poche
common.buy 26.90 €
El Libro de los Mundos Sheyla Preve / Livre Livre de poche
common.buy 11.79 €
Anbau von Heidelbeeren und Cranberries Georg Ebert / Livre Livre relié
common.buy 29.90 €
Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA / Livre Livre de poche
common.buy 15.99 €
Taschenbuch der Mathematik Helmut Wörle / Livre Livre relié
common.buy 134.95 €
Alles für den Schein Rudolf Inderst / Livre Livre de poche
common.buy 89.90 €
La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F / Livre Livre de poche
common.buy 16.09 €
Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone / Livre Livre de poche
common.buy 47.59 €
ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur / Livre Livre de poche
common.buy 56.29 €
Lara's Theme Detlef Wolf / Livre Livre de poche
common.buy 19.79 €

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

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 32.79 €
Top
The Journey from Abandonment to Healing Susan Anderson / Livre Livre de poche
common.buy 16.59 €
Handbook of Dramatherapy Sue Jennings / Livre Livre relié
common.buy 172.99 €
Interface Oral Health Science 2016 Keiichi Sasaki / Livre Livre relié
common.buy 52.69 €
Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon / Livre Livre de poche
common.buy 10.09 €
Caleb's Reading Log Martha Day Zschock / Livre Livre de poche
common.buy 8.79 €
Practical Clinical Guide to Resin Cements Michelle Sunico-Segarra / Livre Livre de poche
common.buy 73.69 €
GENERAL SCHOOL LAWS W/AN APPEN Michigan / Livre Livre relié
common.buy 34.79 €
Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors Peter W. de Vries / Livre Livre de poche
common.buy 69.89 €
Deepening Your Marriage Jilene Scherbenske / Livre Livre de poche
common.buy 15.89 €
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 16.39 €
Wild Justice Kelley Armstrong / Livre Livre de poche
common.buy 13.59 €
Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge / Livre Livre de poche
common.buy 10.09 €
Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller / Livre Livre de poche
common.buy 17.79 €
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 86.39 €
CRC Handbook of Ayurvedic Medicinal Plants KAPOOR / Livre Livre relié
common.buy 397.49 €
52 Things Sarah Wants David To Know: A Different Way To Say It Levy / Livre Livre de poche
common.buy 14.49 €
Waterville Phyllis Witzler / Livre Livre relié
common.buy 25.79 €
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 27.89 €
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 16.39 €
Rethinking Social Action through Music GEOFFREY BAKER / Livre Livre de poche
common.buy 51.19 €
MLK: An American Legacy David J. Garrow / Livre numérique Adobe ePub DRM
common.buy 13.19 €
Market Development and Policy for One Belt One Road Achim I. Czerny / Livre numérique Adobe ePub DRM
common.buy 144.89 €
Top
Last Wild Trilogy: The Dark Wild Piers Torday / Livre Livre de poche
common.buy 10.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 ?