cover image

Formal methods of program verification and specification / H.K. Berg ... [and others].


Englewood Cliffs, N.J. : Prentice-Hall, [1982] .
ISBN 0133288072

Location Call Number Status Consortium Loan
American
WRLC Shared Collections Facility
QA76.6 .F658 Off-site
Request
George Mason
Fenwick stacks
QA76.6 .F658 1982 Available Request
Howard
Founders Library stacks
QA76.6 .F658 1982 Available Request
Other Authors Berg, H. K.
Subjects Computer programs -- Specifications.
Computer programs -- Verification.
Computer programs.
Formal methods (Computer science)
Description xiv, 207 pages : illustrations ; 24 cm.
Copyright Date [1982]
© 1982
Notes Includes bibliographical references and index.
Genre Specifications.
Network Numbers (OCoLC)08110748
(OCoLC)8110748
WorldCat Search OCLC WorldCat

Services

Export citation to: RefWorks