【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Baber, Robert Laurence

ID:DA02661182

Alias Name: Baber, Robert L. (Robert Laurence)

Search authors sharing the same name

Search Results1-2 of 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

Available at 6 libraries
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

Available at 12 libraries

Search this author

Related Authors