Formal Specification And Verification Of Digital Systems

Podobné jednotky

• Formal specification and verification of digital systems /
  Autor: Milne, George
  Vydáno: (1994)
• Formal specification and verification of digital sytems
  Autor: George Milne
  Vydáno: (1994)
• Formal methods of program verification and specification
  Autor: H K Berg, a další
  Vydáno: (1982)
• Formal methods of program verification
  Autor: Berg,H.K
• Formal methods of program verification
  Autor: Berg,H.K