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 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 323 b
131.79 € TVA incluse
Stockage externe Expédition sous 10-18 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

La princesse sans reflet Peyrard / Livre Livre relié
common.buy 28.39 €
Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Livre Livre de poche
common.buy 55.59 €
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Livre Livre de poche
common.buy 11.39 €
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Livre audio MP3
common.buy 7.39 €
Top
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Livre Livre de poche
common.buy 8.99 €
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Livre Livre de poche
common.buy 8.89 €
Saxophon ab 130 Matthias Böyer / Livre Livre de poche
common.buy 24.90 €
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Livre Livre relié
common.buy 7.99 €
Hag: The Best of Merle Haggard Johnny Cash Audio CD Audio
common.buy 9.79 €
Grandes escaladas BONINGTON / Livre Livre de poche
common.buy 17.99 €
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Livre Livre de poche
common.buy 14.49 €
Benim Ilk Hikayelerim - Ormanin Kitabi Kolektif / Livre Livre de poche
common.buy 10.59 €

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 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 118.29 €
Decolonising Multilingualism Alison Phipps / Livre Livre relié
common.buy 56.29 €
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Livre Livre de poche
common.buy 12.29 €
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Livre Livre de poche
common.buy 16.39 €
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Livre Livre de poche
common.buy 12.59 €
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Livre Livre de poche
common.buy 18.09 €
The Long Walk: The Verge Walker Book 1 Ben Reeder / Livre Livre de poche
common.buy 10.69 €
Becoming Peace Kamra Smith / Livre Livre de poche
common.buy 18.09 €
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Livre Livre de poche
common.buy 10.69 €
Birth of a Nation D.W. Griffith / Video Blu-ray
common.buy 31.49 €
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Livre Livre relié
common.buy 17.39 €
Routledge Revivals: The Violence of Language (1990) Jean-Jacques Lecercle / Livre Livre relié
common.buy 224.29 €
Lore Craig Saunders / Livre Livre de poche
common.buy 11.69 €
Top
Baby Pink Artisan Notebook (Flame Tree Journals) Flame Tree Studio / Calendrier/agenda Agenda
common.buy 15.49 €
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Livre Livre de poche
common.buy 15.39 €
My Begging Chart Roberts / Livre Livre de poche
common.buy 16.99 €
Tetherball Jessica Coupé / Livre Livre de poche
common.buy 12.69 €
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Livre Livre relié
common.buy 149.89 €
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Livre Livre de poche
common.buy 21.19 €
Playing Piano Chords, Part II Tijs Krammer / Livre Livre de poche
common.buy 27.89 €
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Livre Livre de poche
common.buy 20.49 €
Water Dragons & Other Rare Aquatic Creatures Jessica C Feinberg / Livre Livre relié
common.buy 23.89 €
Earth Surface Processes P A Allen / Livre Livre de poche
common.buy 126.39 €
Emma Jane Austen / Livre Livre relié
common.buy 33.99 €

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 ?