Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Bernhard Möller and Europäische Kommission. Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie. Basic Research Action 8533

Prospects for hardware foundations : survey chapters

Berlin, Heidelberg: Springer, 2002

Title

Prospects for hardware foundations : survey chapters / ESPRIT Working Group 8533 NADA - New Hardware Design Methods. Bernhard Möller ... (ed.)

Involved 

Bernhard Möller (Mitwirkender)
Europäische Kommission. Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie. Basic Research Action 8533 (Herausgebendes Organ)

Published

Berlin, Heidelberg: Springer
2002

Extent

Online-Ressource

ISBN

978-3-540-49254-2

Language

Englisch

Subject

Hardwareentwurf, Algebraische Spezifikation, Berechnungstheorie, Deduktionssystem, Aufsatzsammlung, Online-Publikation
Hardwareentwurf, Hardwareverifikation, Hardwarebeschreibungssprache, Aufsatzsammlung, Online-Publikation

Series

Lecture notes in computer science ; 1546

Other editions

Erscheint auch als Druck-Ausgabe: Prospects for hardware foundations : survey chapters

Persistent identifier

10.1007/3-540-49254-2 (DOI)

Further information

Lizenzpflichtig

Record ID

967577896
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal