Home Advanced Search

Advanced Search - Page 1

Logics of Specification Languages
  • PDF
  • English
  • Year: 2008
  • Author: Dines Bjørner, Martin C. Henson (eds.)
Logics of Specification Languages
  • PDF
  • English
  • Year: 2008
  • Author: Dines Bjørner, Martin C. Henson (eds.)
Logics of Specification Languages
  • PDF
  • English
  • Year: 2008
  • Author: Dines Bjørner, Martin C. Henson (auth.), Prof. Emeritus, Dr. Dines Bjørner, Prof. Martin C. Henson (eds.)
Domains, requirements, and software design
  • PDF
  • English
  • Year: 2006
  • Author: Bjørner, Dines
Software Engineering 1: Abstraction and Modelling
  • DJVU
  • English
  • Year: 2006
  • Author: Dines Bjørner
Software Engineering 2: Specification of Systems and Languages
  • DJVU
  • English
  • Year: 2006
  • Author: Dines Bjørner
Software Engineering 2: Specification of Systems and Languages
  • PDF
  • English
  • Year: 2006
  • Author: Dines Bjørner
Software Engineering 1: Abstraction and Modelling
  • PDF
  • English
  • Year: 2006
  • Author: Dines Bjørner