Formal methods of program verification and specification / H.K. Berg ... [et al.]. (Prentice-Hall software series)

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

(Prentice-Hall software series)

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 0133288072
Title: Formal methods of program verification and specification / H.K. Berg ... [et al.].
Series Title: Prentice-Hall software series
Author Heading: Berg, H. K. (Helmut K.)
Publication, Distribution, etc.: Englewood Cliffs, N.J. : Prentice-Hall
Publication Date: c1982.
Publication Date (W3CDTF): 1982
Extent: xiv, 207 p. : ill. ; 24 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: プログラミング (電子計算機) Puroguramingu (densikeisanki)
Computer programs -- Verification.
Computer programs -- Specifications.
LCC: QA76.6
DDC: 001.65/24
NDLC: M159
Note (Bibliography): Includes bibliographical references and index.
Holding library: 国立国会図書館
Call No.: M159-A31
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003106788
http://id.ndl.go.jp/bib/000003106788
LC Control Number: 81022719 //r832
https://lccn.loc.gov/81022719
Bibliographic Record Category (NDL): 211