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

Heavy Minerals in Colour

$79.99

Faba Bean: Chemistry, Properties and Functionality

$249.99

The Semiotics of Exile in Literature

$39.99

Supplier Relationship Management

$44.99

Greek and Roman Mechanical Water-Lifting Devices

$329.99

Sicheres Netzwerkmanagement

$49.99

Sugar Chains

$109.99

Zerstubungstechnik

$89.00

Advances in Structural Engineering

$219.99

ICT Systems Security and Privacy Protection

$109.99

Materiality in Management Studies

$39.99

Nasopharyngeal Cancer

$169.99

Psychotherapie in der Arbeitswelt

$84.99

Surgery and Operating Room Innovation

$79.99

Bioclimatic Approaches in Urban and Building Design

$149.00

Solid State Physics of Finite Systems

$109.99

Solid-State NMR I Methods

$84.99

Critical Speeds of Gyroscopes

$54.99

Computer and Information Science

$84.99

Absolute Analysis

$39.99

Assessment of Young Developmentally Disabled Children

$169.99

Industrial Location and Vitalization of Regional Economy

$179.99

Accounting and Regulation

$109.99

Polymer Synthesis: Theory and Practice

$84.99

Service-Oriented Computing - ICSOC 2007

$84.99

Readings In Popular Culture

$29.99

AIDS: Leitlinien fr die Praxis

$69.95

Guide to 3D Vision Computation

$84.99

Der Garten der Unendlichkeit

$49.99

Establishing Plus-Minus-Energy-Regions

$84.99

Markenkraft im Mittelstand

$49.99

Exchange Rate Policies, Prices and Supply-side Response

$109.99

Prostacyclin and Hypertension

$54.99

Vibration Engineering and Technology of Machinery, Volume II

$249.99

International Handbook of Teachers and Teaching

$429.00

Briefwechsel 19451968

$59.99

IUTAM Laminar-Turbulent Transition

$249.99

Strkung des kindlichen Selbstkonzepts

$59.99

Selected Studies in Indonesian Archaeology

$39.99

Strategische Kommunikation deutscher Grokirchen

$49.99