Mathematical methods of specification and synthesis of sotware systems '85,Proceedings of the International spring school Wendisch-Rietz, GDR, April 1985 - Berlin Springer-Verlag - Lecture notes in computer science ; 00215 .

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha