Deductive Hardware Design: A Functional Approach

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 1997-09

Klassifikation
Informatik
Schlagwort
Formale Spezifikationstechnik

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2006
Urheber

URN
urn:nbn:de:bvb:384-opus4-2161
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:43 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2006

Ähnliche Objekte (12)

Deductive hardware design: a functional approach

Deductive hardware design: a functional approach

Unendliche Objekte und Geflechte

Hochschulschrift

Unendliche Objekte und Geflechte

Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...

Monografie

Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...

An Algebraic Approach to Systolic Circuits

An Algebraic Approach to Systolic Circuits

Prospects for hardware foundations : survey chapters

Aufsatzsammlung

Prospects for hardware foundations : survey chapters

Normal Design Algebra

Normal Design Algebra

Modal Design Algebra

Modal Design Algebra

Preface: prospects for hardware foundations

Preface: prospects for hardware foundations

An algebraic approach to systolic circuits

An algebraic approach to systolic circuits

Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller

Thüringer Pfarrerbuch, Bd. 2.. Fürstentum Schwarzburg-Sondershausen / bearb. von Bernhard Möller

The Linear Algebra of UTP

The Linear Algebra of UTP

Ideal Stream Algebra

Ideal Stream Algebra

Verbundene Objekte