Algebraic specifications in an integrated software development and verification system.

समान संसाधन

• Algebraic implementations in an integrated software development and verification system.
  द्वारा: Beierle, Christoph
  प्रकाशित: (1986)
• Rules for the verification of linear feedback systems stability
  द्वारा: Lepschy, Antonio
  प्रकाशित: (1961)
• The Principle of verification. A historical study in logical positivism.
  द्वारा: Padinjarekutt, Joanne
  प्रकाशित: (1974)
• Computer Logic, testing and verification.
  द्वारा: Roth, John Paul
  प्रकाशित: (1980)
• Automatic Verification of Pascal programs.
  द्वारा: Marmier, Edouard
  प्रकाशित: (1975)