Zum Inhalt springen

  1. Bjørner, Dines [Sonstige Person, Familie und Körperschaft]; Bjoerner, Dines [HerausgeberIn] ; International Andrei Ershov Memorial Conference 4 2001 Nowosibirsk-Akademgorodok

    Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2001

    Erschienen in: Lecture notes in computer science ; 2244

  3. Bjørner, Dines [HerausgeberIn]; Bjoerner, Dines [HerausgeberIn] ; Europäische Kommission VDM Europe Working Group, VDM 3 1990 Kiel

    VDM '90, VDM and Z - formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17 - 21, 1990 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1990

    Erschienen in: Lecture notes in computer science ; 428

  9. Bjoerner, Dines [VerfasserIn]

    Software engineering

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 20XX-

    Erschienen in: Texts in theoretical computer science

  10. Bjoerner, Dines [HerausgeberIn] ; International Andrei Ershov Memorial Conference 2 1996 Nowosibirsk-Akademgorodok

    Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1996

    Erschienen in: Lecture notes in computer science ; 1181

  11. Bjoerner, Dines [HerausgeberIn] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk

    Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1993

    Erschienen in: Lecture notes in computer science ; 735

  13. Bjoerner, Dines [HerausgeberIn]; Bjørner, Dines [Sonstige Person, Familie und Körperschaft]; Henson, Martin C. [Sonstige Person, Familie und Körperschaft]

    Logics of specification languages

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2008

    Erschienen in: Monographs in theoretical computer science : an EATCS series

  14. Bjørner, Dines [VerfasserIn]; Jones, Cliff B. [VerfasserIn] ; Andrews, Derek [Sonstige Person, Familie und Körperschaft]

    Formal specification and software development

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Englewood Cliffs, NJ [u.a.]: Prentice-Hall International, 1982

    Erschienen in: Prentice-Hall international series in computer science

  15. Bjoerner, Dines [HerausgeberIn]; Ershou, A. P. [HerausgeberIn]; Jones, Neil D. [HerausgeberIn] ; IFIP TC2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark, 1987, Workshop on Partial Evaluation and Mixed Computation 1987 Avernaes

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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam [u.a.]: North-Holland, 1988

  16. Jones, Cliff B. [HerausgeberIn]; Bjoerner, Dines [GefeierteR]; Zhou, Chaochen [GefeierteR]; Bjørner, Dines [GefeierteR]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; ICTAC 4 2007 Macau

    Formal methods and hybrid real-time systems : essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4700

  18. Bjorner, Dines [VerfasserIn] ; Broy, Manfred [Sonstige Person, Familie und Körperschaft]; Pottosin, Igor' V. [Sonstige Person, Familie und Körperschaft]

    Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

    Erschienen in: Lecture notes in computer science ; 1181

  19. Bjorner, Dines [VerfasserIn] ; Broy, Manfred [Sonstige Person, Familie und Körperschaft]; Pottosin, Igor' V. [Sonstige Person, Familie und Körperschaft]

    Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

    Erschienen in: Lecture notes in computer science ; 735

  20. Bjorner, Dines [VerfasserIn] ; Hoare, C.A.R [Sonstige Person, Familie und Körperschaft]; Langmaack, Hans [Sonstige Person, Familie und Körperschaft]

    VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1990

    Erschienen in: Lecture notes in computer science ; 428