Jump to main content

yr 〜
yr

Search results 6

Advances in temporal logic

Advances in temporal logic
Paper図書
edited by Howard Barringer ... [et al.]Kluwerc2000
Other Libraries in Japan
  • Author HeadingBarringer, Howard

The Imperative future : principles of executable temporal logic : Wiley : Research Studies

The Imperative future : principles of executable temporal logic : Wiley : Research Studies
Paper図書
edited by Howard Barringer ... [et al.]Research Studies Pressc1996
Other Libraries in Japan
  • Author HeadingBarringer, Howard

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings : gw : us

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings : gw : us
Paper図書
B. Banieqbal, H. Barringer, A. Pnueli (eds.)Springer-Verlagc1989
Other Libraries in Japan
  • Author HeadingBanieqbal, Behnam Barringer, Howard Pnueli, A. (Amir) Colloquium ...

A survey of verification techniques for parallel programs : gw : us

A survey of verification techniques for parallel programs : gw : us
Paper図書
Howard BarringerSpringer-Verlagc1985
Other Libraries in Japan
  • Author HeadingBarringer, Howard

A survey of verification techniques for parallel programs / Howard Barringer. (Lecture notes in computer science)

A survey of verification techniques for parallel programs / Howard Barringer. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1985.<M159-A41>
National Diet Library
  • Author HeadingBarringer, Howard, 1951-

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.). (Lecture notes in computer science)

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A5389>
National Diet Library
  • Author Heading...ehnam) , 1960- Barringer, Howard, 1951- Pnueli, A. Colloquium ...

Reached to the end of result.

RSS