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)