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 de poche
Livre Abstraction Refinement for Large Scale Model Checking Fabio Somenzi
Code Libristo: 09165444
Éditeurs Springer-Verlag New York Inc., décembre 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Description détaillée
? points 273 b
112.70 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

La princesse sans reflet Peyrard / Livre Livre relié
common.buy 27.54 €
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Livre Livre de poche
common.buy 37.63 €
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Livre Livre de poche
common.buy 10.99 €
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Livre audio MP3
common.buy 7.15 €
Top
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Livre Livre de poche
common.buy 8.57 €
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Livre Livre de poche
common.buy 8.57 €
Saxophon ab 130 Matthias Böyer / Livre Livre de poche
common.buy 23.60 €
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Livre Livre relié
common.buy 7.66 €
Grandes escaladas BONINGTON / Livre Livre de poche
common.buy 17.25 €
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Livre Livre de poche
common.buy 13.92 €
Benim Ilk Hikayelerim - Ormanin Kitabi Kolektif / Livre Livre de poche
common.buy 10.18 €

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 Fabio Somenzi
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2014
Nombre de pages 179
EAN 9781489993953
ISBN 9781489993953
Code Libristo 09165444
Éditeurs Springer-Verlag New York Inc.
Poids 257
Dimensions 210 x 2 x 11

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

Schedule-Based Dynamic Transit Modeling Nigel H. Wilson / Livre Livre relié
common.buy 102.71 €
Decolonising Multilingualism Alison Phipps / Livre Livre relié
common.buy 53.87 €
Spanish Golden Age Drama Szilvia E. Szmuk / Livre Livre relié
common.buy 41.56 €
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Livre Livre de poche
common.buy 11.90 €
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Livre Livre de poche
common.buy 15.73 €
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Livre Livre de poche
common.buy 12.10 €
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Livre Livre de poche
common.buy 11.70 €
The Long Walk: The Verge Walker Book 1 Ben Reeder / Livre Livre de poche
common.buy 10.28 €
Becoming Peace Kamra Smith / Livre Livre de poche
common.buy 17.45 €
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Livre Livre de poche
common.buy 10.28 €
Birth of a Nation D.W. Griffith / Video Blu-ray
common.buy 30.06 €
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Livre Livre relié
common.buy 17.14 €
Routledge Revivals: The Violence of Language (1990) Jean-Jacques Lecercle / Livre Livre relié
common.buy 215.53 €
Lore Craig Saunders / Livre Livre de poche
common.buy 11.19 €
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Livre Livre de poche
common.buy 14.82 €
My Begging Chart Roberts / Livre Livre de poche
common.buy 16.14 €
Tetherball Jessica Coupé / Livre Livre de poche
common.buy 12.00 €
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Livre Livre relié
common.buy 130.56 €
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Livre Livre de poche
common.buy 20.17 €
Playing Piano Chords, Part II Tijs Krammer / Livre Livre de poche
common.buy 26.83 €
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Livre Livre de poche
common.buy 19.36 €
Water Dragons & Other Rare Aquatic Creatures Jessica C Feinberg / Livre Livre relié
common.buy 23.00 €
Earth Surface Processes P A Allen / Livre Livre de poche
common.buy 120.47 €
Emma Jane Austen / Livre Livre relié
common.buy 32.48 €

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 ?