Logic and specification

Benzer Materyaller

• The temporal logic of reactive and concurrent systems/specification
  Yazar:: zohar Manna,Amir Phueli
  Baskı/Yayın Bilgisi: (1992)
• Specifications /
  Yazar:: Edwards, Griffith.H .
  Baskı/Yayın Bilgisi: (1961)
• Specifications
  Yazar:: Ayers, C
  Baskı/Yayın Bilgisi: (1975)
• Logic and logical thinking /
  Yazar:: Facione, P. A.
  Baskı/Yayın Bilgisi: (1978)
• Logic /
  Yazar:: Getmanova, A. D.
  Baskı/Yayın Bilgisi: (1989)