MPG.eBooks - Search Results - "computer programs"

Search alternatives:
"computer programs" » "computer program"

Cover Image

1

KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report

Published 1995

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Cover Image

2

Model-Based Testing of Reactive Systems : Advanced Lectures

Published 2005

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Cover Image

3

Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany,...

Published 2005

Springer Netherlands

Subjects: “...Compilers (Computer programs)...”

Cover Image

4

Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Published 2003

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Cover Image

5

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: “...Compilers (Computer programs)...”

Cover Image

6

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: “...Compilers (Computer programs)...”

Cover Image

7

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

Published 1993

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Cover Image

8

Methods of Programming : Selected Papers on the CIP-Project

Published 1991

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Cover Image

9

Program Design Calculi

Published 1993

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Cover Image

10

Control Flow and Data Flow: Concepts of Distributed Programming : International Summer School

Published 1986

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Cover Image

11

Programming and Mathematical Method : International Summer School

Published 1992

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Cover Image

12

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Published 1989

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Cover Image

13

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Cover Image

14

Software Pioneers : Contributions to Software Engineering

Published 2002

Springer Berlin Heidelberg

Subjects: “...Computer programming...”