

An edition of Mathematical methods of specification and synthesis of software systems '85 (1986)
proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
By W. Bibel
Publish Date
1986
Publisher
Springer
Language
eng
Pages
245
1-1 of 1 Editions
Language: eng
Pages: 245
Published In: 1986
Publisher: Springer