Vor Ort
Merkzettel Warenkorb
  • Produktbild: Prospects for Hardware Foundations
  • Produktbild: Prospects for Hardware Foundations
Band 1546

Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters

Aus der Reihe Lecture Notes in Computer Science

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.12.1998

Herausgeber

Bernhard Möller + weitere

Verlag

Springer Berlin

Seitenzahl

470

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

632 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-3-540-65461-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.12.1998

Herausgeber

Verlag

Springer Berlin

Seitenzahl

470

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

632 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-3-540-65461-2

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

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)
  • Produktbild: Prospects for Hardware Foundations
  • Produktbild: Prospects for Hardware Foundations
  • Introduction: NADA and NIL.- Introduction: NADA and NIL.- I Mathematical Foundations.- Streams, Stream Transformers and Domain Representations.- Ideal Stream Algebra.- Normalization by Evaluation.- II Hardware And Dynamical Systems.- Algebraic Models of Superscalar Microprocessor Implementations: a Case Study.- Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms.- Towards an Algebraic Specification of the Java Virtual Machine.- Grid Protocol Specifications.- The Computational Description of Analogue System Behaviour.- Verification and Deductive Design.- Reasoning about Imperfect Digital Systems.- Formal Verification and Hardware Design with Statecharts.- An Exercise in Conditional Refinement.- Deductive Hardware Design: A Functional Approach.