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. Verifying concurrent processes using temporal logic (: gw ; : us)
Brent T. Hailpern
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 129
所蔵情報: loading…