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)