Skip to contents

Bjørner, Dines [Other]; Bjoerner, Dines [Editor] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 2244
Bjørner, Dines [Other]; Bjoerner, Dines [Editor] ; International Andrei Ershov Memorial Conference 3 1999 Nowosibirsk-Akademgorodok

Perspectives of system informatics : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1755
Bjørner, Dines [Editor]; Bjoerner, Dines [Editor] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 428
Bjørner, Dines [Other]; Bjoerner, Dines [Other]

Towards a formal description of Ada

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 98
Bjørner, Dines [Other]; Bjoerner, Dines [Editor]

The Vienna development method: the meta-language

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.s.]: Springer, 1978

Published in: Lecture notes in computer science ; 61
Bjoerner, Dines [Author]

Software engineering / 1, Abstraction and modelling / D. Bjørner

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Software engineering / Dines Bjørner ; 1
Bjoerner, Dines [Author]

Software engineering / 3, Domains, requirements, and software design / D. Bjørner

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Software engineering / Dines Bjørner ; 3
Bjoerner, Dines [Author]

Software engineering / 2, Specification of systems and languages : with 27 tabl. / D. Bjørner

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Software engineering / Dines Bjørner ; 2
Bjoerner, Dines [Author]

Software engineering

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Texts in theoretical computer science
Bjoerner, Dines [Editor] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 735
Bjoerner, Dines [Editor] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1181
Bjoerner, Dines [Editor]

Abstract software specifications : 1979 Copenhagen Winter School, jan. 22 - febr. 2, 1979; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 86
Bjoerner, Dines [Editor]; Bjørner, Dines [Other]; Henson, Martin C. [Other]

Logics of specification languages

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2008

Published in: Monographs in theoretical computer science : an EATCS series
Bjørner, Dines [Author]; Jones, Cliff B. [Author] ; Andrews, Derek [Other]

Formal specification and software development

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Prentice-Hall international series in computer science
Bjoerner, Dines [Editor]; Ershou, A. P. [Editor]; Jones, Neil D. [Editor] ; 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland, 1988
Jones, Cliff B. [Editor]; Bjoerner, Dines [Honoree]; Zhou, Chaochen [Honoree]; Bjørner, Dines [Honoree]; Liu, Zhiming [Other]; Woodcock, Jim [Other] ; 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]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4700
Bjørner, Dines [Author]

Domain Science & Engineering. A Foundation for Software Development

View online
Schließen

Access

https://orbit.dtu.dk/en/publications/e5b6e113-c659-41ce-8f23-d5aee46ddb52

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: Technical University of Denmark, 2020
Bjorner, Dines [Author] ; Broy, Manfred [Other]; Pottosin, Igor' V. [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Published in: Lecture notes in computer science ; 1181
Bjorner, Dines [Author] ; Broy, Manfred [Other]; Pottosin, Igor' V. [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

Published in: Lecture notes in computer science ; 735
Bjorner, Dines [Author] ; Hoare, C.A.R [Other]; Langmaack, Hans [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1990

Published in: Lecture notes in computer science ; 428

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication