MPG.eBooks - Search Results - "computer science"

Cover Image

1

Baltic Computer Science : Selected Papers

Published 1991

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

2

Domain Science and Engineering : A Foundation for Software Development

by Bjørner, Dines
Published 2021

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

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

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

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

Published 1993

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

Logics of Specification Languages

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

Software Engineering 1 : Abstraction and Modelling

by Bjørner, Dines
Published 2006

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

Software Engineering 2 : Specification of Systems and Languages

by Bjørner, Dines
Published 2006

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

8

Software Engineering 3 : Domains, Requirements, and Software Design

by Bjørner, Dines
Published 2006

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

9

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

by Bjørner, Dines
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

10

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

Published 1996

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

11

Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

12

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

Published 2001

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

13

VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Published 1987

Springer Berlin Heidelberg

“...Lecture Notes in Computer Science...”

Cover Image

14

VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

by Bjørner, Dines
Published 1987

Springer

“...Lecture Notes in Computer Science...”

Cover Image

15

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

by Bjørner, Dines
Published 1993

Springer

“...Lecture Notes in Computer Science...”

Cover Image

16

The Vienna Development Method: The Meta-Language

by Bjørner, Dines
Published 1978

Springer

“...Lecture Notes in Computer Science...”

Cover Image

17

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

by Bjørner, Dines
Published 1996

Springer

“...Lecture Notes in Computer Science...”