The Temporal logic of reactive and concurrent systems

Eitemau Tebyg

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