登入選單
Google圖書搜尋
Program Construction
作者
F.L. Bauer / E.W. Dijkstra / S.L. Gerhart / D. Gries / M. Griffiths / J. V. Guttag / J. J. Horning / S. S. Owicki / C. Pair / H. Partsch / P. Pepper / M. Wirsing / H. Wössner
出版Springer, 2005-11-23
ISBN
9783540353126 / 3540353127
主題
Computers
Specification and verification of a network mail s...
作者
Stanford University. Computer Systems Laboratory / S. S. Owicki
出版1978
ISBN
STANFORD:36105046381567
主題
Computer networks
Specifications and Proofs for Abstract Data Types ...
作者
S. S. Owicki / Stanford University Stanford Electronics Laboratories. Digital Systems Laboratory
出版1977
ISBN
STANFORD:36105046365420
主題
Abstract data types (Computer science)
Program Construction
作者
F.L. Bauer / E.W. Dijkstra / S.L. Gerhart / D. Gries / M. Griffiths / J. V. Guttag / J. J. Horning / S. S. Owicki / C. Pair / H. Partsch / P. Pepper / M. Wirsing / H. Wössner
出版Springer, 2005-11-23
ISBN
9783540353126 / 3540353127
主題
Computers