Formal specification and software development

समान संसाधन

• EUROMICRO sympopsium on microprocessing and microprogramming
  द्वारा: Stephen Winter and HArald Schumny
  प्रकाशित: (1988)
• Microprogrammed control and reliable design of small computers
  द्वारा: Geroge D.Kraft
  प्रकाशित: (1981)
• Software interpreters for microcomputers
  द्वारा: Mcintire, Thomas C
  प्रकाशित: (1978)
• Foundations of microprogramming architecture, software and applications
  द्वारा: Agarwala, Ashok K
  प्रकाशित: (1976)
• Microprogramming primer /
  द्वारा: Katzan, Harry
  प्रकाशित: (1977)