東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Computer programs Verification)
該当件数:9件
Compiler specification and verification / Wolfgang Polak
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 124)
図書
An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in computer science ; 135)
Verifying concurrent processes using temporal logic / Brent T. Hailpern
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in computer science ; 129)
The foundations of program verification / Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer
2nd ed. - Stuttgart : B. G. Teubner , c1987. - Chichester [West Sussex] : Wiley. - New York. - (Wiley-Teubner series in computer science)
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Müller-Olm
Berlin : Springer , c1997. - Heidelberg. - (Lecture notes in computer science ; 1283)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1283)
Data refinement : model-oriented proof methods and their comparison / W.-P. de Roever, K. Engelhardt ; with the assistance of K.-H. Buth ... [et al.]
New York : Cambridge University Press , 1998
Hardware and Software : Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Proceedings / Hana Chockler, Alan J. Hu (Eds.)
pbk.,pbk.. - Berlin ; New York : Springer, c2009. - (Lecture notes in computer science ; 5394)
A Survey of verification techniques for parallel programs / Howard Barringer
Berlin : Springer-Verlag , c1985. - New York. - Tokyo. - (Lecture notes in computer science ; 191)