Yazar
timothy r colburn
3 cilt bulundu.
Cilt sonuçları
Program Verification
Timothy R. Colburn · Springer Netherlands
458 sayfa · 1993
Computer science / Software engineering / Humanities / Science / Mathematical optimization
Program verification
Timothy R. Colburn, James H. Fetzer · Kluwer Academic Publishers
464 sayfa · 1899
Verification / Computer software / Geography / Study and teaching / History
Philosophy and computer science
Timothy R. Colburn · M.E. Sharpe
243 sayfa · 2000
Philosophy / Computer science / Artificial intelligence / Computers, moral and ethical aspects / Informatique