Jump to main content

yr 〜
yr

Search results 3

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

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

Lecture notes in computer science

Lecture notes in computer science
Paper図書
Springer-Verlag
Other Libraries in Japan
  • Related Material... : proceedings Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings Database systems for advanced...

Reached to the end of result.

RSS