Logic and specification

類似資料

• The temporal logic of reactive and concurrent systems/specification
  著者:: zohar Manna,Amir Phueli
  出版事項: (1992)
• Specifications /
  著者:: Edwards, Griffith.H .
  出版事項: (1961)
• Specifications
  著者:: Ayers, C
  出版事項: (1975)
• Logic and logical thinking /
  著者:: Facione, P. A.
  出版事項: (1978)
• Logic /
  著者:: Getmanova, A. D.
  出版事項: (1989)