Logic and specification

Lignende værker

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