Custom cover image
Custom cover image

A meta-calculus for formal system development / Matthias Weber

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195Publisher: München ; Wien : Oldenbourg, 1991Description: 197 SISBN:
  • 3486219944
Subject(s): Genre/Form: MSC: MSC: *68Q60 | 68-02RVK: RVK: SI 210Action note:
  • 3
Dissertation note: Zugl.: Karlsruhe, Univ., Diss., 1990 Call number: Grundsignatur: 91 DA 117PPN: PPN: 016041372
Holdings
Item type Home library Collection Shelving location Call number Copy number Status Date due Barcode Item holds
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 91 DA 117 ;b Available 31027926
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 91 DA 117 ;c Available 31027880
Freihandbestand ausleihbar Fachbibliothek Informatik F.Web Bibliothek / frei aufgestellt F.Web(11390) Available 000166324090
Total holds: 0

Archivierung prüfen 20240511 DE-640 3 pdager

Powered by Koha