Proving programs correct / Robert B. Anderson.
Proving programs correct / Robert B. Anderson.
About this item
Full title
Proving programs correct / Robert B. Anderson.
Author / Creator
Publisher
New York : Wiley, c1979.
Call Numbers
T0151761
Record Identifier
74VvzL0rA083
MMS ID
991009425489702626
Language
English
Formats
Physical Description
Physical content
viii, 184 p. : ill. ; 23 cm.
Publication information
Publisher
New York : Wiley, c1979.
Place of Publication
New York (State)
Date Published
c1979.
Subjects
More information
Alternative Titles
Full title
Proving programs correct / Robert B. Anderson.
Authors, Artists and Contributors
Author / Creator
Notes
General note
Includes index.
Bibliography: p. 170-182.
Transferred from: N001.6425/46.
Contextual Information
Date Copyright
c1979.
Identifiers
Primary Identifiers
Call Numbers
T0151761
Record Identifier
74VvzL0rA083
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VvzL0rA083
Other Identifiers
ISBN
0471033952
9780471033950
DDC
001.6425
MMS ID
991009425489702626
How to access this item
1 of 0Request as a Library member
