Algebraische Spezifikation mit Nichtdeterminismus aus der Sicht der universellen Algebra
Author: | Renate MotzerGND |
---|---|
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/64747 |
ISBN: | 978-3-8265-1195-0OPAC |
Publisher: | Shaker Verlag |
Place of publication: | Aachen |
Type: | Book |
Language: | German |
Year of first Publication: | 1996 |
Release Date: | 2019/11/08 |
Pagenumber: | VII, 217 |
Note: | Zugl.: München, Univ., Diss., 1995 |
Series: | Berichte aus der Informatik |
Institutes: | Mathematisch-Naturwissenschaftlich-Technische Fakultät |
Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik | |
Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik / Lehrstuhl für Didaktik der Mathematik |