Treffer 1 – 15 von 15 für Suche 'Bjørner, Dines', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Domain Science and Engineering A Foundation for Software Development

    Domain Science and Engineering A Foundation for Software Development von Bjørner, Dines

    Veröffentlicht 2021

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Software engineering

    Software engineering von Bjørner, Dines 1937-

    Veröffentlicht 2006
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Software engineering

    Software engineering von Bjørner, Dines 1937-

    Veröffentlicht 2006
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Formal specification and software development

    Formal specification and software development von Bjørner, Dines 1937-, Jones, Cliff B. 1944-

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Software engineering

    Software engineering von Bjørner, Dines 1937-

    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Domain science and engineering A foundation for software development

    Domain science and engineering A foundation for software development von Bjørner, Dines 1937-

    Veröffentlicht 2021
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Software engineering

    Software engineering von Bjørner, Dines 1937-

    Veröffentlicht 2006
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Formal specification and software development

    Formal specification and software development von Bjørner, Dines 1937-, Jones, Cliff B. 1944-

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Logics of Specification Languages

    Logics of Specification Languages

    Veröffentlicht 2008
    Weitere Verfasser: “… Bjørner, Dines 1937- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Towards a formal Description of Ada

    Towards a formal Description of Ada

    Veröffentlicht 1980
    Weitere Verfasser: “… Bjørner, Dines 1937- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Abstracts Software Specifications Proceedings

    Abstracts Software Specifications Proceedings

    Veröffentlicht 1980
    Weitere Verfasser: “… Bjørner, Dines 1937- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Logics of Specification Languages

    Logics of Specification Languages

    Veröffentlicht 2008
    Weitere Verfasser: “… Bjørner, Dines 1937- …”
    Inhaltsverzeichnis
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Formal description of programming concepts II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II, Garmisch-Partenkirchen, FRG, 1 - 4 June 1982

    Formal description of programming concepts II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II, Garmisch-Partenkirchen, FRG, 1 - 4 June 1...

    Veröffentlicht 1983
    Weitere Verfasser: “… Bjørner, Dines 1937- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Towards a formal Description of Ada

    Towards a formal Description of Ada

    Veröffentlicht 1980
    Weitere Verfasser: “… Bjørner, Dines 1937- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Partial evaluation and mixed computation proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark, 18 - 24 October, 1987

    Partial evaluation and mixed computation proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark, 18 - 24 October, 1987

    Veröffentlicht 1988
    Weitere Verfasser: “… Bjørner, Dines 1937- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: