Custom cover image
Custom cover image

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen / Carsten Gremzow; Nico Moser (Hrsg.)

Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German, English Publisher: Berlin : Univ.-Verl. der TU, 2009Description: VI, 248 S. : Ill., graph. Darst ; 21 cm, 337 grISBN:
  • 9783798321182
Subject(s): Genre/Form: DDC classification:
  • 621.392
  • 621.395
  • 620
RVK: RVK: ZN 5330 | ZN 5350Action note:
  • 2
Call number: Grundsignatur: 2009 A 3741PPN: PPN: 59605730X
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 2009 A 3741 Available 50102498090
Total holds: 0

Archivierung prüfen 20200919 DE-640 2 pdager