MPG.eBooks - Search Results

1

Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Published 2015

Springer International Publishing

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

Read Now

2

Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Published 2016

Springer International Publishing

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

Read Now

3

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

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

Read Now

4

Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

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

Read Now

5

Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Published 2018

Springer International Publishing

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

Read Now

6

Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Published 2015

Springer International Publishing

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

Read Now

7

Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Published 2019

Springer International Publishing

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

Read Now

8

Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Published 2019

Springer International Publishing

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

Read Now

9

Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

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

Read Now

10

Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Published 2016

Springer International Publishing

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

Read Now

11

Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

Published 2021

Springer International Publishing

Table of Contents: “... model checking -- Formalization and Verification in Coq and Isabelle Certifying Choreography Compilation...”

Narrow Search