Formal specification and verification of digital sytems

Benzer Materyaller

• Formal Specification And Verification Of Digital Systems
  Yazar:: Milne, George
  Baskı/Yayın Bilgisi: (1994)
• Formal specification and verification of digital systems /
  Yazar:: Milne, George
  Baskı/Yayın Bilgisi: (1994)
• Formal methods of program verification and specification
  Yazar:: H K Berg, ve diğerleri
  Baskı/Yayın Bilgisi: (1982)
• Formal methods of program verification
  Yazar:: Berg,H.K
• Formal methods of program verification
  Yazar:: Berg,H.K