MPG.eBooks - Search Results - "Compilers And Interpreters"

Search alternatives:
compilers » computers , compiled

Cover Image

1

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, It...

Published 2014

Springer International Publishing

Subjects: “...Compilers and Interpreters...”

Cover Image

2

Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Subjects: “...Compilers and Interpreters...”

Cover Image

3

Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Published 2016

Springer International Publishing

Subjects: “...Compilers and Interpreters...”

Cover Image

4

Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Published 2018

Springer International Publishing

Subjects: “...Compilers and Interpreters...”

Cover Image

5

Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Subjects: “...Compilers and Interpreters...”

Cover Image

6

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy,...

Published 2015

Springer International Publishing

Subjects: “...Compilers and Interpreters...”