Software Engineering mathematics: formal methods demystefied

समान संसाधन

• Software engineering with formal metrics /
  द्वारा: Ejiogu, Lem O
  प्रकाशित: (1991)
• Practical formal software engineering:wanting the software you get
  द्वारा: Mills, Bruce
  प्रकाशित: (2009)
• Formal specification and software development
  द्वारा: Bjorner,Dines
• Formal specification and software development
  द्वारा: Bjorner, Diner
  प्रकाशित: (1982)
• Mathematics, the formal tools of engineering, v1. advances in modern engineering
  द्वारा: Smyth, Michael P.
  प्रकाशित: (1974)