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 - 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

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.