Matches in Library of Congress for { <http://lccn.loc.gov/81022719> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 81022719 contributor B3968880.
- 81022719 created "c1982.".
- 81022719 date "1982".
- 81022719 date "c1982.".
- 81022719 dateCopyrighted "c1982.".
- 81022719 description "Includes bibliographical references and index.".
- 81022719 extent "xiv, 207 p. :".
- 81022719 identifier "0133288072".
- 81022719 isPartOf "Prentice-Hall software series".
- 81022719 issued "1982".
- 81022719 issued "c1982.".
- 81022719 language "eng".
- 81022719 publisher "Englewood Cliffs, N.J. : Prentice-Hall,".
- 81022719 subject "001.65/24 19".
- 81022719 subject "Computer programs Specifications.".
- 81022719 subject "Computer programs Verification.".
- 81022719 subject "Formal methods (Computer science)".
- 81022719 subject "QA76.6 .F658 1982".
- 81022719 title "Formal methods of program verification and specification / H.K. Berg ... [et al.].".
- 81022719 type "text".