Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen

Name: Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen
Brand: Springer
SKU: 9783540183204
Price: 3508.00 INR
Availability: InStock

by Werner Damm

Springer

₹3,508

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer geeigneten höheren Mikroprogrammiersprache, sowie formale Techniken zur Überprüfung der Korrektheit des Entwurfs.

Description supplied by the publisher.