MPG.eBooks - Search Results - "Meaning"

Cover Image

21

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

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

Cover Image

22

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...”

Cover Image

23

Validation of Stochastic Systems : A Guide to Current Research

Published 2004

Springer Berlin Heidelberg

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

Cover Image

24

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...”

Cover Image

25

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...”

Cover Image

26

Collegium Logicum

Published 1995

Springer Vienna

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

Cover Image

27

Collegium Logicum

Published 1996

Springer Vienna

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

Cover Image

28

Parallele Implementierung funktionaler Programmiersprachen

by Loogen, Rita
Published 1990

Springer Berlin Heidelberg

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

Cover Image

29

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

Published 2002

Springer Berlin Heidelberg

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

Cover Image

30

The Programming and Proof System ATES : Advanced Techniques Integration into Efficient Scientific Software

Published 1991

Springer Berlin Heidelberg

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

Cover Image

31

Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings

Published 1992

Springer Berlin Heidelberg

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

Cover Image

32

Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991

Published 1992

Springer London

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

Cover Image

33

Rules and Rule Markup Languages for the Semantic Web : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

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

Cover Image

34

Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

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

Cover Image

35

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

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

Cover Image

36

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United...

Published 2003

Springer Berlin Heidelberg

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

Cover Image

37

Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Published 2003

Springer Berlin Heidelberg

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

1
2