Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation
By: Rudolf Berghammer
Contributors: Technische Universität München
Series: TUM INFO -- 8403
Publisher: Inst. f. Informatik, Techn. Univ.
Published: 1984
Place of publication: München
Language: ger
Number of pages: 150
Notes: Thesis (doctoral)--Technische Universität München, 1984.