The temporal logic of reactive and concurrent systems/specification

Benzer Materyaller

• The Temporal logic of reactive and concurrent systems
  Yazar:: Manna, Zohar, ve diğerleri
  Baskı/Yayın Bilgisi: (1992)
• Logics and models of concurrent systems
  Yazar:: Krysztof R Apt
  Baskı/Yayın Bilgisi: (1985)
• Understanding concurrent systems /
  Yazar:: Roscoe, A. W.
  Baskı/Yayın Bilgisi: (2010)
• The logical basis for computer programming
  Yazar:: Zohar Manna ,Richard Waldinger
  Baskı/Yayın Bilgisi: (1985)
• Logical Basis for Computer Programming
  Yazar:: Zohar Manna, Richard Waldinger
  Baskı/Yayın Bilgisi: (1990)