Formal specification and verification of digital sytems

समान संसाधन

• Formal Specification And Verification Of Digital Systems
  द्वारा: Milne, George
  प्रकाशित: (1994)
• Formal specification and verification of digital systems /
  द्वारा: Milne, George
  प्रकाशित: (1994)
• Formal methods of program verification and specification
  द्वारा: H K Berg, और अन्य
  प्रकाशित: (1982)
• Formal methods of program verification
  द्वारा: Berg,H.K
• Formal methods of program verification
  द्वारा: Berg,H.K