The Temporal logic of reactive and concurrent systems

類似資料

• The temporal logic of reactive and concurrent systems/specification
  著者:: zohar Manna,Amir Phueli
  出版事項: (1992)
• Introduction to concurrency in programming languages
  著者:: Sottile, Matthew J
  出版事項: (2010)
• Operating systems
  著者:: Madnick, Stuart E.
  出版事項: (1974)
• Computer logic; the functional design of digital computers.
  著者:: Flores, Ivan
  出版事項: (1960)
• Understanding concurrent systems /
  著者:: Roscoe, A. W.
  出版事項: (2010)