Formal Specification And Verification Of Digital Systems

Gelijkaardige items

• Formal specification and verification of digital systems /
  door: Milne, George
  Gepubliceerd in: (1994)
• Formal specification and verification of digital sytems
  door: George Milne
  Gepubliceerd in: (1994)
• Formal methods of program verification and specification
  door: H K Berg, et al.
  Gepubliceerd in: (1982)
• Formal methods of program verification
  door: Berg,H.K
• Formal methods of program verification
  door: Berg,H.K