Home Advanced Search

Advanced Search - Page 1

Formal specification and software development
  • DJVU
  • English
  • Year: 1982
  • Author: Bjorner D.; Jones C.B.
Software Engineering 1: Abstraction and Modelling
  • DJVU
  • English
  • Year: 2006
  • Author: Dines Bjorner
Software Engineering 2: Specification of Systems and Languages
  • PDF
  • English
  • Year: 2006
  • Author: Dines Bjorner
Integrating Decision Procedures for Temporal Verification
  • PDF
  • English
  • Year: 1999
  • Author: Nikolaj Skallerud Bjorner
Combinatorics of Coxeter groups
  • PDF
  • English
  • Year: 2005
  • Author: Bjorner A., Brenti F.
Combinatorial miscellany
  • PDF
  • English
  • Year: 2004
  • Author: Bjorner A., Stanley R.P.
Combinatorics of Coxeter Groups
  • PDF
  • German
  • Year: 2005
  • Author: Anders Bjorner, Francesco Brenti
Combinatorics of Coxeter Groups
  • PDF
  • German
  • Year: 2005
  • Author: Anders Bjorner, Francesco Brenti
Combinatorics of Coxeter Groups
  • DJVU
  • English
  • Year: 2005
  • Author: Anders Bjorner, Francesco Brenti,
Combinatorics of Coxeter Groups
  • PDF
  • English
  • Year: 2005
  • Author: Anders Bjorner, Francesco Brenti (auth.)
search