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
Wolfgang Bibel
เดชเตเดธเตโเดคเดเด, 31โขComputers en technologie
โฌ140.61