MPG.eBooks - Search Results - "Foundations"

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: “...Computer Science Logic and Foundations of Programming...”

2

The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Published 2022

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

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

Published 2013

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

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: “...Computer Science Logic and Foundations of Programming...”

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: “...Computer Science Logic and Foundations of Programming...”

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: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Published 2017

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”