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)

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.