Zobrazeno 1 - 1
of 1
pro vyhledávání: '"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 McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that co
