Software Engineering mathematics: formal methods demystefied

Những quyển sách tương tự

• Software engineering with formal metrics /
  Bằng: Ejiogu, Lem O
  Được phát hành: (1991)
• Practical formal software engineering:wanting the software you get
  Bằng: Mills, Bruce
  Được phát hành: (2009)
• Formal specification and software development
  Bằng: Bjorner,Dines
• Formal specification and software development
  Bằng: Bjorner, Diner
  Được phát hành: (1982)
• Mathematics, the formal tools of engineering, v1. advances in modern engineering
  Bằng: Smyth, Michael P.
  Được phát hành: (1974)