Formal specification and software development

Gelijkaardige items

• EUROMICRO sympopsium on microprocessing and microprogramming
  door: Stephen Winter and HArald Schumny
  Gepubliceerd in: (1988)
• Microprogrammed control and reliable design of small computers
  door: Geroge D.Kraft
  Gepubliceerd in: (1981)
• Software interpreters for microcomputers
  door: Mcintire, Thomas C
  Gepubliceerd in: (1978)
• Foundations of microprogramming architecture, software and applications
  door: Agarwala, Ashok K
  Gepubliceerd in: (1976)
• Microprogramming primer /
  door: Katzan, Harry
  Gepubliceerd in: (1977)