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

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

Δωρεάν αποστολή με 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: 09165444
Price: 112.87 EUR
Availability: InStock
Author: Fabio Somenzi
ISBN: 9781489993953

Fabio Somenzi

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 09165444

ΕΕκδοτικός οίκος Springer-Verlag New York Inc., Δεκέμβριος 2014

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

Κωδικός Libristo: 09165444

273 b

112.87 €

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

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

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

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

Grandes escaladas BONINGTON

Χαρτόδετο

17.27 €

SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA

Σκληρόδετο

8.07 €

La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran

MP3

7.16 €

Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner

Χαρτόδετο

37.68 €

La princesse sans reflet Peyrard

Σκληρόδετο

27.58 €

Els plats dolços del cardenal Despuig Antonio Contreras Mas

Χαρτόδετο

13.94 €

A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga

Χαρτόδετο

11.51 €

Saxophon ab 130 Matthias Böyer

Χαρτόδετο

26.97 €

Nagy rejtvénykönyv 11. Kresz Károly (Szerk.)

Χαρτόδετο

8.58 €

Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P

Χαρτόδετο

8.98 €

Hag: The Best of Merle Haggard Johnny Cash Audio

Audio CD

9.69 €

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

Συγγραφέας Fabio Somenzi

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

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

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

EAN 9781489993953

ISBN 9781489993953

Κωδικός Libristo 09165444

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

Βάρος 257

Διαστάσεις 210 x 2 x 11

Κατηγορία

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη