Konzeption eines Verfahrens zur rechnerunterstützten Verifikation des Entwurfs von Automatisierungsprogrammen / vonPeter Baur

By: Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: 1987Description: 115 S. : graph. Darst. ; 21 cmSubject(s): Genre/Form: Action note:
  • 2
Dissertation note: Stuttgart, Univ., Diss., 1987 Call number: Grundsignatur: 88 DA 2142PPN: PPN: 016100638
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 88 DA 2142 Available 31166526
Total holds: 0

Archivierung prüfen 20200919 DE-640 2 pdager