close
1.

図書
図書
1. Axiomatic proof techniques for parallel programs
Susan Speer Owicki
出版情報: New York : Garland Pub., 1980
シリーズ名: Outstanding dissertations in the computer sciences
所蔵情報: loading…
2.

図書
図書
2. Automatic verification of programs with complex data structures
Norihisa Suzuki
出版情報: New York : Garland Pub., 1980
シリーズ名: Outstanding dissertations in the computer sciences
所蔵情報: loading…
3.

図書
図書
3. Verifying concurrent processes using temporal logic (: gw ; : us)
Brent T. Hailpern
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 129
所蔵情報: loading…
4.

図書
図書
4. An introduction to formal program verification
Ali Mili
出版情報: New York : Van Nostrand Reinhold Co., c1985
所蔵情報: loading…
5.

図書
図書
5. The foundations of program verification (Wiley ; Teubner)
Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer
出版情報: Stuttgart [Germany] : B.G. Teubner , Chichester; New York : Wiley, c1984
シリーズ名: Wiley-Teubner series in computer science
所蔵情報: loading…
6.

図書
図書
6. Program verification using Ada (: pbk)
Andrew D. McGettrick
出版情報: Cambridge ; New York : Cambridge University Press, 1982
シリーズ名: Cambridge computer science texts ; 13
所蔵情報: loading…
7.

図書
図書
7. An introduction to the PL/CV2 programming logic (: gw ; : us)
R.L. Constable, S.D. Johnson, C.D. Eichenlaub
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 135
所蔵情報: loading…
8.

図書
図書
8. Formal methods of program verification and specification
H.K. Berg ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1982
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
9.

図書
図書
9. Compiler specification and verification (: gw ; : us)
Wolfgang Polak
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 124
所蔵情報: loading…