Formal specification and verification of digital sytems

Samankaltaisia teoksia

• Formal Specification And Verification Of Digital Systems
  Tekijä: Milne, George
  Julkaistu: (1994)
• Formal specification and verification of digital systems /
  Tekijä: Milne, George
  Julkaistu: (1994)
• Formal methods of program verification and specification
  Tekijä: H K Berg, et al.
  Julkaistu: (1982)
• Formal methods of program verification
  Tekijä: Berg,H.K
• Formal methods of program verification
  Tekijä: Berg,H.K