MPG.eBooks - Search Results

1

Theory of Program Structures : Schemes, Semantics, Verification

by Greibach, Sheila A.
Published 1975

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

2

Industrial-Strength Formal Methods in Practice

Published 1999

Springer London

Subjects: “...Logics and Meanings of Programs...”

Read Now

3

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

Published 1993

Springer London

Subjects: “...Logics and Meanings of Programs...”

Read Now

4

ALPUK91 : Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991

Published 1992

Springer London

Subjects: “...Logics and Meanings of Programs...”

Read Now

5

Dynamische Integrität von Datenbanken : Grundlagen der Spezifikation und Überwachung

by Lipeck, Udo W.
Published 1989

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

6

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 199...

Published 1994

Springer London

Subjects: “...Logics and Meanings of Programs...”

Read Now

7

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991...

Published 1992

Springer London

Subjects: “...Logics and Meanings of Programs...”

Read Now

8

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

9

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

10

Informatik : Eine einführende Übersicht Erster Teil

by Bauer, F. L., Goos, Gerhard
Published 1982

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

11

Objektorientierter Softwareentwurf : Integration mit UML

by Breu, Ruth
Published 2001

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

12

Ausnahmebehandlung in objektorientierten Programmiersprachen

by Feder, Christiane
Published 1990

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

13

Fundamental Approaches to Software Engineering : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...

Published 2002

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

14

Einführung in die Informatik : Objektorientiert mit Java

by Küchlin, Wolfgang, Weber, Andreas
Published 2003

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

15

Z User Workshop, Oxford 1990 : Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Published 1991

Springer London

Subjects: “...Logics and Meanings of Programs...”

Read Now

16

Z User Workshop : Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

Published 1990

Springer London

Subjects: “...Logics and Meanings of Programs...”

Read Now

17

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Published 2001

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

18

Self-Adaptive Software : First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers

Published 2001

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

19

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Read Now

20

Parallele Implementierung funktionaler Programmiersprachen

by Loogen, Rita
Published 1990

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Narrow Search