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

Enterprise and Organizational Modeling and Simulation

$54.99

Optical Resonators Science and Engineering

$219.99

An Ethical Global Information Society

$219.99

Foreign Policy in Global Information Space

$39.99

Einfhrung in NetDraw

$24.99

Verstehen Sie Ihre Seele?

$24.99

Frauenarbeit in Transformation

$59.99

Ecology of Language

$54.99

Monitoring in Ansthesie und Intensivmedizin

$54.99

CIM im Mittelstand

$69.99

Cancer Prevention Through Early Detection

$44.99

Eine konomische Revolution

$29.99

George Herbert

$39.99

Smart and Innovative Trends in Next Generation Computing Technologies

$109.99

Logic-Based Program Synthesis and Transformation

$59.99

Steuern und Sozialversicherung bei Homeoffice im Ausland

$34.99

Gruppentherapie mit Kindern

$54.99

Was fr ein Zufall!

$19.99

Elements of Neurogeometry

$109.00

Testbeds and Research Infrastructure: Development of Networks and Communities

$54.99

A Guide to Classical and Modern Model Theory

$129.99

Oswald Spenglers Kulturmorphologie

$89.99

Swasserflora von Mitteleuropa, Bd. 7 / Freshwater Flora of Central Europe, Vol. 7: Rhodophyta and

$199.99

Information Systems for eGovernment

$54.99

Hormones and Resistance

$139.99

Computer-Aided Mechanical Assembly Planning

$169.99

Corneal Regeneration

$199.99

Strukturen und Prozesse intelligenter Systeme

$49.99

Vegetative Physiologie

$14.99

Handbook of Linguistic Annotation

$449.99

Metropolitan Regions

$109.99

Partnerships, Power and Peacebuilding

$39.99

Electric Potential in Toroidal Plasmas

$129.99

Speech and Interaction of Preadolescents with Autism Spectrum Disorder

$119.99

Safety and Reliability of Software Based Systems

$109.99

The Transformation of Property Regimes and Transitional Justice in Central Eastern Europe

$159.99

The Science of Baseball

$24.99

Energy Economics: A Modern Introduction

$129.00

The Biotechnology Debate

$109.99

Software Composition

$54.99