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

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

Δωρεάν αποστολή με 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

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

Βοήθεια

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

▸ Άδειο :-(

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

Name: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Brand: Springer, Berlin
SKU: 44544841
Price: 123.38 EUR
Availability: InStock
Author: Pascal Pieper
ISBN: 9783031516917

Better Early than Never

Pascal Pieper

Rolf Drechsler

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 44544841

ΕΕκδοτικός οίκος Springer, Berlin, Μάιος 2024

This book deals with formal and practical approaches for fast modeling and verification of complex d... Πλήρης περιγραφή

Κωδικός Libristo: 44544841

299 b

123.38 €

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

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

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

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

Peygamber Enokun Kitabi Kolektif

Χαρτόδετο

23.03 €

Jetzt geht's! Rolf Reinlaßöder

Χαρτόδετο

18.68 €

Jo Jordi Sierra i Fabra

Χαρτόδετο

16.87 €

Introducción a la didáctica de la lengua y la literatura : un enfoque sociocrítico Eduardo Encabo Fernández

Χαρτόδετο

22.32 €

Aspekte der Globalisierung Carl Baudenbacher

Σκληρόδετο

44.66 €

Das Passionsspiel Von Vorderthiersee In Tirol (1905) Robert Weissenhofer

Σκληρόδετο

40.11 €

Les musiciens de Brême

Λίστα

4.44 €

Méthode & Pratiques de la Prospective par les signaux faibles CAHEN

Χαρτόδετο

29.80 €

grande rapina al treno. Ediz. ad alta leggibilità Federico Appel

Χαρτόδετο

13.03 €

Ve svém živlu Vítek Formánek

Σκληρόδετο

12.12 €

Merkmale der griechischen Kultur Tanja Berlin

Χαρτόδετο

12.62 €

LA PORTE DU VOYAGE SANS RETOUR Diop

Χαρτόδετο

29.80 €

This book deals with formal and practical approaches for fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip digital devices are addressed. Verification approaches are based on both symbolic execution of simulated hardware devices and classical discrete execution of the whole system with dynamic data flow tracking to analyze security policy rules. Case-Studies are conducted by developing and building on top of an open-source RISC-V SoC simulation.

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

EWA KASP για

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

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

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

Πλήρες όνομα Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

Συγγραφέας Pascal Pieper, Rolf Drechsler

Γλώσσα

Αγγλική

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

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

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

EAN 9783031516917

Κωδικός Libristo 44544841

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 453

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

Κατηγορία

Computing & Information Technology > Computer hardware > Embedded systems

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

Είναι εύκολο

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