Diese entstammen der Semantik der Programmierung, der Programmverifikation, dem Datenbankbereich, der Spieltheorie oder der Theorie der Zuordnungen und Überdeckungen aus der Graphentheorie;
Springer Book Archives
Produktdetaljer
ISBN
9783540503040
Publisert
1988-12-28
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
244 mm
Bredde
170 mm
Aldersnivå
Lower undergraduate, ES, 13
Språk
Product language
Tysk
Format
Product format
Heftet
Antall sider
9