Prospects for hardware foundations / ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters / Bernhard Möller ... (eds.)

Englisch

Berlin ; Heidelberg [u.a.] : Springer, 1998

X, 468 S. : Ill., graph. Darst. ; 24 cm

Aufsatzsammlung; Konferenzschrift

Literaturangaben

Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe

brosch. : DM 98.00

Online-Ausg.: Möller, Bernhard: Prospects for Hardware Foundations. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1998. - Online-Ressource

3-540-65461-5 : DM 98.00 (brosch.)

*Hardwareentwurf / Algebraische Spezifikation / Berechnungstheorie / Deduktionssystem

*Hardwareentwurf / Hardwareverifikation / Hardwarebeschreibungssprache

*Computers -- Design and construction -- Congresses

Klassifikation der Library of Congress: TK7888.3

Dewey Dezimal-Klassifikation: 621.39 ; 004.21

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / Lecture notes in computer science

BIBTEX - ENDNOTE - RIS