Spezifikation objektorientierter Systeme
By: Christoph Schmitz
Contributors: Universität Tübingen
Series: WSI -- 2000-14
Publisher: WSI
Published: 2000
Place of publication: Tübingen
Language: ger
Number of pages: 224
Notes: Thesis (doctoral)--Universität Tübingen, 2000.