KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
  • Produktbild: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Band 146

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Aus der Reihe Informatik-Fachberichte

54,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.09.1987

Abbildungen

VIII, 327 S. 1 Abb.

Verlag

Springer Berlin

Seitenzahl

327

Maße (L/B/H)

24,4/17/1,9 cm

Gewicht

588 g

Auflage

1987

Sprache

Deutsch

ISBN

978-3-540-18320-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.09.1987

Abbildungen

VIII, 327 S. 1 Abb.

Verlag

Springer Berlin

Seitenzahl

327

Maße (L/B/H)

24,4/17/1,9 cm

Gewicht

588 g

Auflage

1987

Sprache

Deutsch

ISBN

978-3-540-18320-4

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel findest du in
  • Produktbild: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
  • Produktbild: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
  • 1 Einleitung.- 2 Grundbegriffe der Firmwareverifikation.- 2.1 Ebenen einer Rechnerarchitektur.- 2.2 Mikroprogrammierung.- 2.3 Mikroprogrammierte Rechnerarchitekturen.- 2.4 Grundlagen der axiomatischen Verifikation von Firmware.- 3 Entwurf mikroprogrammierter Rechnerarchitekturen.- 3.1 Formale Beschreibung von Rechnerarchitekturen.- 3.2 Die S*-Familie höherer Mikroprogrammiersprachen.- 3.3 Hierarchischer Entwurf von Rechnerarchitekturen.- 4 Verifikation mikroprogrammierter Rechnerarchitekturen.- 4.1 Die Generierung der axiomatischen Spezifikation einer Operation.- 4.2 Eine axiomatische Definition der S*-Familie.- Zusammenfassung.- Danksagung.- Fußnoten.- Al Anhang 1.- A1.1 Spezifikation der Makroarchitektur der NOVA 1200.- A1.2 Formale Beschreibung der Mikroarchitektur der MICRODATA 1600.- A1.3 Definition der Zwischenarchitektur.- A2 Anhang 2.- Die Syntax von S*.- A3 Anhang 3.- Konfliktanalyse zwischen dynamischen Speicherausdrücken.- A4 Anhang4 : Ein Beispielbeweis.- A4.1 Diskussion des Beweises.- A4.2 Schematische Darstellung des Beweises.- A4.3 Berechnung der schwächsten Vorbedingung.- A4.4 Einige Vereinfachungsregeln.- Stichwortverzeichnis.- Verzeichnis der Abbildungen.