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

$40.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$40.50
See Site In stock Visit Store

Similar Products

Global Health, Humanity and the COVID-19 Pandemic

$169.99

Geometry, Mechanics, and Control in Action for the Falling Cat

$64.99

A Chinese Jesuit Catechism

$64.99

Information, Organisation and Technology

$219.99

Please Be Nice to Sharks

$5.21

Vibrations of Elastic Systems

$169.00

Zhang Functions and Various Models

$54.99

Erzeugung von Atom- und Ionenstrahlen

$59.99

Potential Theory and Right Processes

$54.99

The Palgrave Handbook of Race and Ethnic Inequalities in Education

$169.99

Information Theory and Applications

$39.99

Advanced Intelligent Systems for Sustainable Development (AI2SD2018)

$169.99

Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks

$54.99

Deutsche Soziologie Seit 1945

$59.99

Handbook of Intensive Care

$54.99

Design, User Experience, and Usability: Understanding Users and Contexts

$109.99

PR mit Power

$54.99

Das Fassungsvermgen von Rohrbrunnen und seine Bedeutung fr die Grundwasserabsenkung, insbesondere

$79.99

The Fractal Company

$39.99

Action Research and Critical Psychology

$119.00

Money and the Human Condition

$59.99

Nonperturbative Quantum Field Theory

$39.99

System 7 Einsteigen leichtgemacht

$39.99

Selected Papers on Algebra and Topology by Garrett Birkhoff

$379.99

Elektrische Maschinen und Umformer

$44.99

The Handbook of Political Behavior

$39.99

Non-Solar X- and Gamma-Ray Astronomy

$39.99

Islamic Finance and Sustainable Development

$149.00

Klausurtraining Bauphysik

$19.99

International Yearbook of Nephrology 1989

$169.00

Introduction to Central Banking

$37.99

Marketing und Business Development in Kanzleien

$59.99

Patterns of Change

$109.99

The Politics of Intellectual Property Rights and Access to Medicines

$39.99

Skandinavische Literaturgeschichte

$49.99

Fortschritte Der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ

$39.99

The Ethics of Postcommunism

$84.99

Umberto Eco, The Da Vinci Code, and the Intellectual in the Age of Popular Culture

$19.99

Analytical Problems

$39.99

Dependence Analysis

$169.99