Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985 (Mathematical Research, 31) - Hardcover

 
9783112733400: Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985 (Mathematical Research, 31)

Synopsis

No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".

"synopsis" may belong to another edition of this title.