Formale Methoden und kleine Systeme
Formale Methoden und kleine Systeme
Dirk Siefkes
Details
OL Work ID
OL19850815W
Subjects
Formalisierung
Kleines System
Find this book
Open Library