Showing 1 - 5 results of 5 for search 'Bjørner, Dines', query time: 0.03s Refine Results
  1. 1
    Software Engineering 2 Specification of Systems and Languages /
    by Bjørner, Dines
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Software Engineering 1 Abstraction and Modelling /
    by Bjørner, Dines
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Logics of Specification Languages
    Published 2008
    Other Authors: “…Bjørner, Dines…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
    Published 2001
    Other Authors: “…Bjørner, Dines…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
    Published 2000
    Other Authors: “…Bjørner, Dines…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search