Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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

Better Early than Never

Limba englezăengleză
Carte Copertă tare
Carte Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Pascal Pieper
Codul Libristo: 44544841
Editura Springer, Berlin, mai 2024
This book deals with formal and practical approaches for fast modeling and verification of complex d... Descrierea completă
? points 315 b
684.26 lei
În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Peygamber Enokun Kitabi Kolektif / Carte Carte broșată
common.buy 127.63 lei
Jetzt geht's! Rolf Reinlaßöder / Carte Carte broșată
common.buy 98.32 lei
Jo Jordi Sierra i Fabra / Carte Carte broșată
common.buy 88.63 lei
Introducción a la didáctica de la lengua y la literatura : un enfoque sociocrítico Eduardo Encabo Fernández / Carte Carte broșată
common.buy 123.98 lei
Aspekte der Globalisierung Carl Baudenbacher / Carte Copertă tare
common.buy 235.14 lei
Das Passionsspiel Von Vorderthiersee In Tirol (1905) Robert Weissenhofer / Carte Copertă tare
common.buy 210.84 lei
Les musiciens de Brême / Carte Foaie
common.buy 23.45 lei
Méthode & Pratiques de la Prospective par les signaux faibles CAHEN / Carte Carte broșată
common.buy 156.51 lei
grande rapina al treno. Ediz. ad alta leggibilità Federico Appel / Carte Carte broșată
common.buy 68.60 lei
Ve svém živlu Vítek Formánek / Carte Copertă tare
common.buy 63.60 lei
Merkmale der griechischen Kultur Tanja Berlin / Carte Carte broșată
common.buy 70.59 lei
LA PORTE DU VOYAGE SANS RETOUR Diop / Carte Carte broșată
common.buy 157.03 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Autor Pascal Pieper, Rolf Drechsler
Limba engleză
Legare Carte - Copertă tare
Data publicării 2024
Număr pagini 215
EAN 9783031516917
Codul Libristo 44544841
Editura Springer, Berlin
Greutatea 453
Dimensiuni 155 x 235

Categorii

Computing & Information Technology > Computer hardware > Embedded systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Project Management for Building Construction Hans Sommer / Carte Copertă tare
common.buy 558.71 lei
Dearest Jacquie Walters / Carte Carte broșată
common.buy 60.58 lei
The Book of Wonderful Characters: Memoirs and Anecdotes of Remarkable and Eccentric Persons in All Ages and Countries James Caulfield / Carte Copertă tare
common.buy 170.90 lei
The Tomorrow No One Wanted Charles Johnson / Carte Carte broșată
common.buy 63.39 lei
The Life of Jesus Christ Richard Newton / Carte Carte broșată
common.buy 134.40 lei
Duchess Danielle Steel / Carte Carte broșată
common.buy 43.16 lei
Riding, Driving, Fencing for Young People - Long-Distance Riding, Etc. THEODORE AYRA DODGE / Carte Carte broșată
common.buy 103.12 lei
Homiletical AIDS for the Christian Year E W / Carte Copertă tare
common.buy 210.84 lei
Jmu Exploring Psychology 9e LL + Study Guide + Student Questionnaire David G Myers / Carte Copertă tare
common.buy 367.15 lei
Translation-Driven Corpora Federico Zanettin / Carte Copertă tare
common.buy 1 305.55 lei
Story of the Submarine Farnham Bishop / Carte Carte broșată
common.buy 144.21 lei
Discrete-element Modeling of Granular Materials Farang Radjai / Carte Copertă tare
common.buy 1 263.84 lei
Complete Index to the Names of Persons, Places and Subjects Mentioned in Littell's Laws of Kentucky W T Smith / Carte Carte broșată
common.buy 194.15 lei
Art versus Industry? Kate Nichols / Carte Copertă tare
common.buy 559.65 lei
Concepts and the Social Order Yehuda Elkana / Carte Copertă tare
common.buy 493.85 lei
Key & Diary of a Mad Old Man Jun'ichiro Tanizaki / Carte Carte broșată
common.buy 75.80 lei
Spatial Dimension of Risk Detlef Müller-Mahn / Carte Copertă tare
common.buy 1 289.49 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo