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:

Subject(s):

Genre/Form:

MSC: MSC: *68Q60 | 68-02RVK: RVK: SI 210Action note:

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	Barcode
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