автор: Timothy T. R. Colburn

Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods — such as John Mc Carthy, C.A.R. Hoare, and …