Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt

Mathematical Foundations of Programming Semantics - 1st ed. 1990 - Springer New York 1990 - Lecture Notes in Computer Science .

9780387348087


Computer Science