MPG.eBooks - Search Results - "Engineering"

Cover Image

1

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: “...Software engineering...”

Cover Image

2

Domain Science and Engineering : A Foundation for Software Development

by Bjørner, Dines
Published 2021

Springer International Publishing

Subjects: “...Software engineering...”

Cover Image

3

Baltic Computer Science : Selected Papers

Published 1991

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

4

Software Engineering 2 : Specification of Systems and Languages

by Bjørner, Dines
Published 2006

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

5

Software Engineering 3 : Domains, Requirements, and Software Design

by Bjørner, Dines
Published 2006

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

6

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

Published 1996

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

7

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: “...Software engineering...”