055745253
2001-05-28
2020-03-04T13:15:22
Philosophy and computer science,c2000
0000000032718798
female
Colburn, Timothy R. (1952-....)
Colburn
Timothy R.
Timothy R. Colburn
1952
Philosophe et informaticien
Philosophy and computer science / Timothy R. Colburn / Armonk, N.Y. : M.E. Sharpe , 2000
Program verification : fundamental issues in computer science / edited by Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin / Dordrecht : Kluwer Academic Publishers