Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985


edited by W. Bibel and K. P. Jantke
Bok Språk ikke angitt 1986

Detaljer

Bibliotek som har denne