Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540183204
Condition
New
Product Description

Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden smtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer geeigneten hheren Mikroprogrammiersprache, sowie formale Techniken zur berprfung der Korrektheit des Entwurfs. Damit wird erstmals eine Firmwareverifikationsmethode vorgestellt, die sowohl fr beliebige Mikroarchitekturen einsetzbar ist als auch eine inkrementelle und modulare Verifikation des Entwurfs ermglicht. Besonderes Gewicht wurde sowohl auf eine przise mathematische Durchdringung des Firmwareentwurfs als auch auf die praktische Anwendbarkeit der Entwurfsmethode gelegt. Smtliche Konzepte und Techniken werden an Hand eines Emulationsbeispiels illustriert. Der Text enthlt ein einfhrendes Kapitel, das sowohl die Grundbegriffe aus dem Bereich der Mikroprogrammierung als auch die verwendeten mathematischen Begriffsbildungen zusammenfat. Die beiden Hauptteile behandeln jeweils den Entwurf sowie die Verifikationsmethodik. In Anhngen werden ausfhrliche Entwurfs- und Verifikationsbeispiele gegeben. Das Buch bietet sowohl dem Entwickler grerer Mikroprogramme als auch dem Ersteller von Firmwareentwicklungswerkzeugen einen geeigneten Rahmen zur Beherrschung der Komplexitt von Mikroarchitekturen. Fr Studenten der Informatik veranschaulicht der Text die Relevanz mathematischer Modellbildungen in einem konkreten Anwendungesgebiet.

Available Colors
Available Sizes
1 Offer Price Range: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$44.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$44.99 $44.99

$44.99
See Site In stock Visit Store

Similar Products

Biological Systematics

$109.99

Die elementare Katastrophentheorie: Eine Darstellung aus der Sicht der konomie

$69.99

Der Rechtsgegenstand

$44.99

Recovering Civility during COVID-19

$59.99

Nic Bishop Frogs (Hardcover)

$14.99

Freiheit oder Sicherheit?

$34.99

Essential Anatomy

$54.99

Classical Many-Body Problems Amenable to Exact Treatments

$84.99

ERP Adoption in Organizations

$109.99

Gendering Nationalism

$84.99

Clean Energy Investments for Zero Emission Projects

$109.99

What is Negation?

$219.99

The NATO Committee on the Challenges of Modern Society, 19691975

$84.99

Advanced Hybrid Information Processing

$99.99

Exercises in Analysis

$119.00

91 Anwendungen mit Quattro Pro fr Windows

$69.95

Normalisierung von mnnlicher Homosexualitt

$69.99

Pneumonologie Pneumonology

$59.99

Enhancing Employee Engagement

$179.99

Patient-Centered Clinical Care for African Americans

$44.99

Physiological Limitations and the Genetic Improvement of Symbiotic Nitrogen Fixation

$39.99

Amyloid Protein Precursor in Development, Aging and Alzheimers Disease

$39.99

Entscheidungsverhalten in Grnderteams

$69.99

Extracorporeal Life Support for Adults

$79.99

Afrika Jahrbuch 1999

$59.99

Die politische konomie des EU-Entscheidungsprozesses

$59.99

Analytic and Geometric Study of Stratified Spaces

$44.99

Creative Hubs in Question

$169.99

The Role of Organic Matter in Modern Agriculture

$54.99

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets

$59.99

Handbuch Industrielles Beschaffungsmanagement

$54.99

Medical Image Computing and Computer-Assisted Intervention MICCAI 2007

$129.00

Emergent Nested Systems

$84.99

Deutschlands Platz an der Sonne

$54.99

The Irish Question as a Problem in British Foreign Policy, 191418

$19.99

Post-Incunabula en Hun Uitgevers in de Lage Landen/Post-Incunabula and Their Publishers in the Low C

$54.99

Softwarereflexionen

$29.99

Metalldrcken

$59.99

Einflufaktoren von Alkoholkonsum

$49.99

Cancer Biology and the Nuclear Envelope

$169.00