R.L. Rankin – författare
Visar alla böcker från författaren R.L. Rankin. Handla med fri frakt och snabb leverans.
3 produkter
Program Verification
Fundamental Issues in Computer Science
Av Timothy T.R. Colburn, J.H. Fetzer m. fl.
Inbunden, 1993
3377 kr
Lägg i varukorg
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 computing is a mathematical activity and that …
Program Verification
Fundamental Issues in Computer Science
Av Timothy T.R. Colburn, J.H. Fetzer m. fl.
Häftad, 2012
3606 kr
Lägg i varukorg
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 computing is a mathematical activity and that …
Program Verification
Fundamental Issues in Computer Science
Av R.L. Rankin, J.H. Fetzer m. fl.
E-bok, 2012
4150 kr
Lägg i varukorg
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 computing is a mathematical activity and that …
