1.

図書
図書
1. Data refinement : model-oriented proof methods and their comparison
Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.]
出版情報: New York : Cambridge University Press, 1998
シリーズ名: Cambridge tracts in theoretical computer science ; 47
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館
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
所蔵情報: 図書館
4.

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