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)