Showing 1 - 11 results of 11 for search 'Bjørner, Dines', query time: 0.05s Narrow Search
  1. 1
    Software Engineering 1 Abstraction and Modelling
    by Bjørner, Dines
    Published 2006
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Software Engineering 2 Specification of Systems and Languages
    by Bjørner, Dines
    Published 2006
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Software Engineering 3 Domains, Requirements, and Software Design
    by Bjørner, Dines
    Published 2006
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Baltic Computer Science Selected Papers
    Published 1991
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Logics of Specification Languages
    Published 2008
    Other Authors: “…Bjørner, Dines…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    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…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  7. 7
    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…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  8. 8
    Perspectives of System Informatics Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
    Published 1996
    Other Authors: “…Bjørner, Dines…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  9. 9
    Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
    Published 1993
    Other Authors: “…Bjørner, Dines…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  10. 10
    VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    Published 1990
    Other Authors: “…Bjørner, Dines…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  11. 11
    VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
    Published 1987
    Other Authors: “…Bjørner, Dines…”
    Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: