著者典拠情報

著者標目形：
Barringer, Howard, 1951-
属性：
Personal
日付：
1951-
注記：
A Survey of verification techniques for parallel programs, c1985: CIP t.p. (Howard Barringer) data sheet (b. 12/20/51)
著者典拠ID：
DA00978803


1.

図書
図書
1. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings (: gw ; : us)
B. Banieqbal, H. Barringer, A. Pnueli (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 398
所蔵情報: 図書館
2.

図書
図書
2. A Survey of verification techniques for parallel programs (: gw ; : us)
Howard Barringer
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 191
所蔵情報: 図書館