MPG.eBooks - Search Results - computers and interpreters

Search alternatives:
computers » computer

Cover Image

1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg

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

Cover Image

2

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

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

Cover Image

3

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

Published 2017

Springer Berlin Heidelberg

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

Cover Image

4

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Published 2016

Springer International Publishing

Table of Contents: “... Computation and Automated Reasoning for Program Analysis -- Program verification -- On Type Checking Delta...”

Cover Image

5

Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Published 2022

Springer International Publishing

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