HOME
|
KONTAKT
Arbeitsgruppe Rechnerarchitektur / AGRA
|
Informatik
|
FB03
|
Universität Bremen
Navigation ein-/ausblenden
HOME
Die AGRA
Team
Alumni
Promotionen
Forschung
Bereiche
Projekte
Industriepartner
Preise / Ehrungen
Lehre
Abschlussarbeiten
Lehrveranstaltungen
Studentische Projekte
Publikationen
Bücher
Buchbeiträge
Zeitschriften
Konferenzen
Workshops
Entwicklungen
Software
Hardware
Service
Kontakt
Aktuelles
Jobs
Presse
Medien
Buch Detail
« zurück
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Autor: Daniel Große, Rolf Drechsler
Verlag: Shaker Verlag
Format: Gebunden
Erscheinungsjahr: 2017
-
Die AGRA
Team
Alumni
Promotionen
Forschung
Bereiche
Projekte
Kooperationen
Preise/Ehrungen
Lehre
Abschlussarbeiten
Lehrveranstaltungen
Studentische Projekte
Publikationen
Bücher
Buchbeiträge
Zeitschriften
Konferenzen
Workshops
Entwicklungen
Software
Hardware
Service
Kontakt
Aktuelles
Jobs
Presse
Medien
©2023 |
AG Rechnerarchitektur
|
Kontakt
|
Impressum & Datenschutz