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)