MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Published 2014

Springer Berlin Heidelberg

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

Cover Image

2

ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6...

Published 2014

Springer International Publishing

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

Cover Image

3

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

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

Cover Image

4

Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Published 2021

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

5

Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday

Published 2012

Springer Berlin Heidelberg

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

Cover Image

6

Semantics in Databases : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers

Published 2003

Springer Berlin Heidelberg

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