Baber, Robert Laurence

ID:DA02661182

別名: Baber, Robert L. (Robert Laurence)

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

Error-free software : know-how and know-why of program correctness

Robert Laurence Baber ; translated from the German original by the author

Wiley c1991 Wiley series in software engineering practice , Wiley professional computing

所蔵館6館
2

The spine of software : designing provably correct software--theory and practice or a mathematical introduction to the semantics of computer programs

Robert Laurence Baber

Wiley c1987

所蔵館12館

この著者を外部サイトでさがす

関連著者

ページトップへ