Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Abstraction Refinement for Large Scale Model Checking

Name: Abstraction Refinement for Large Scale Model Checking
Brand: Springer-Verlag New York Inc.
SKU: 05247797
Price: 114.38 EUR
Availability: InStock
Author: Chao Wang
ISBN: 9780387341552

Chao Wang

Gary D. Hachtel

Fabio Somenzi

Γλώσσα

Αγγλική

Βιβλίο Σκληρόδετο

Κωδικός Libristo: 05247797

ΕΕκδοτικός οίκος Springer-Verlag New York Inc., Ιούλιος 2006

This book summarizes recent research on abstraction techniques for model checking large digital syst... Πλήρης περιγραφή

Κωδικός Libristo: 05247797

277 b

114.38 €

Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες

Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

La Riviera de Charles Garnier Michel

Χαρτόδετο

13.63 €

BABADADA, Belarusian (in cyrillic script) - Romani, visual dictionary (in cyrillic script) - alavengoro dikhipen Babadada Gmbh

Χαρτόδετο

29.80 €

Apreciatividad Laura Isanta

Χαρτόδετο

18.28 €

Das Recht Der Politischen Fremdenausweisung: Mit Besonderer Berucksichtigung Der Schweiz (1891) Johann Langhard

Χαρτόδετο

25.15 €

El Libro de los Mundos Sheyla Preve

Χαρτόδετο

11.91 €

Järjestelmävirhe

Σκληρόδετο

26.57 €

Demokratisierung der Raumplanung. Peter Knoepfel

Χαρτόδετο

79.92 €

Les 25 plus belles balades faciles de la Haute Corse Quilici

Χαρτόδετο

12.42 €

BELLEZA Y DESOLACIÓN

Χαρτόδετο

20.50 €

HVORDAN MAN HANDLER HÅNDSØSLIGT MED ONDE DRØMME ARCHBISHOP OCHEI I INNOCENT

Χαρτόδετο

10.80 €

5-3-1 Methode Dr. Martin Sewer

Χαρτόδετο

15.15 €

Griechische Metallpanzer Arnold Hagemann

Χαρτόδετο

24.14 €

Anbau von Heidelbeeren und Cranberries Georg Ebert

Σκληρόδετο

26.77 €

Radiestesia médica : el péndulo al servicio de la salud ADRIEN GESTA

Χαρτόδετο

15.45 €

Taschenbuch der Mathematik Helmut Wörle

Σκληρόδετο

119.64 €

La Prophetie de Blois: Avec Des Eclaircissements Richaudeau-P-F

Χαρτόδετο

16.26 €

Alles für den Schein Rudolf Inderst

Χαρτόδετο

79.92 €

Lara's Theme Detlef Wolf

Χαρτόδετο

18.99 €

Rituels Secrets Des Hauts-Grades De La Franc-Maconnerie Egyptienne Rite De Memphis-Misraim Arcana Arcanorum JoA"l DUEZ

Χαρτόδετο

56.88 €

ACTA Sanctorum S. Benedicti, in Saeculorum Classes Distributa (Ed.1685) Sans Auteur

Χαρτόδετο

56.88 €

Explorations Dans l'Interieur de l'Afrique Australe Et Voyages A Travers Le Continent (Ed.1859) Livingstone

Χαρτόδετο

48.09 €

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

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Abstraction Refinement for Large Scale Model Checking

Συγγραφέας Chao Wang, Gary D. Hachtel, Fabio Somenzi

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Σκληρόδετο

Ημερομηνία έκδοσης 2006

Αριθμός σελίδων 179

EAN 9780387341552

ISBN 0387341552

Κωδικός Libristo 05247797

ΕΕκδοτικός οίκος Springer-Verlag New York Inc.

Βάρος 1000

Διαστάσεις 155 x 235 x 16

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components

Technology, Engineering, Agriculture > Technology: general issues > Engineering: general

Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering

Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Code Name: Home Sick: FILE SUBJECT: Edwards, Adrian C. (1A) Joe Inge

Χαρτόδετο

10.20 €

Guaranteed Formula for Happiness: A Proven Path to a State of Grace - Ongoing Happiness Melvin Hassan

Χαρτόδετο

13.43 €

The Journey from Abandonment to Healing Susan Anderson

Χαρτόδετο

16.76 €

Handbook of Dramatherapy Sue Jennings

Σκληρόδετο

174.81 €

Interface Oral Health Science 2016 Keiichi Sasaki

Σκληρόδετο

50.52 €

Love Never Fails: Spiritual Reflections for Dads of All Ages Patrick T. Reardon

Χαρτόδετο

9.69 €

Caleb's Reading Log Martha Day Zschock

Χαρτόδετο

8.88 €

GENERAL SCHOOL LAWS W/AN APPEN Michigan

Σκληρόδετο

35.16 €

Deepening Your Marriage Jilene Scherbenske

Χαρτόδετο

16.06 €

Letters of Lady Rachel Russell; From the Manuscript in the Library at Wooburn Abbey. to Which Is Prefixed, an Introduction, Vindicating the Character Anonymous

Χαρτόδετο

33.14 €

Wild Justice Kelley Armstrong

Χαρτόδετο

13.94 €

Abaddon Consortium: An Adam Dekker Novel MR Lawrence Clayton Miller

Χαρτόδετο

17.98 €

Read Write Inc. Phonics Book Bag Books: Green Set 1 Book Bag Books (Mixed Pack of 10) Adrian Bradbury

Χαρτόδετο

83.66 €

CRC Handbook of Ayurvedic Medicinal Plants KAPOOR

Σκληρόδετο

382.58 €

Waterville Phyllis Witzler

Σκληρόδετο

26.06 €

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

Σκληρόδετο

28.18 €