---

＜図書＞
Proving programs correct / Robert B. Anderson.

出版者	New York : Wiley
出版年	c1979.
大きさ	viii, 184 p. : ill. ; 23 cm.
著者標目	Anderson, Robert Brockett, 1941-
件　名	Computer programs -- Testing  全ての件名で検索 Debugging in computer science
一般注記	Includes index. ＼ Bibliography: p. 170-182.

 類似資料