MPG.eBooks - Search Results - (compilers OR computers) and interpreters

1

Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Published 2002

Springer Berlin Heidelberg

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

Read Now

2

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Logic Based on SPIN -- Hardware -- A Denotational Semantics for Handel-C Hardware Compilation...”

Read Now

3

Methods, Models and Tools for Fault Tolerance

Published 2009

Springer Berlin Heidelberg

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

Read Now

4

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Published 2016

Springer International Publishing

Table of Contents: “... Detection for Local Computations by Refinement-Based Compositions -- How to Select the Suitable Formal...”

Read Now

5

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Published 2018

Springer International Publishing

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

Read Now

6

Rigorous Development of Complex Fault-Tolerant Systems

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages...”

Read Now

7

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Published 2015

Springer International Publishing

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

Read Now

8

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Published 2008

Springer Berlin Heidelberg

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

Read Now

9

FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

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

Narrow Search