MPG.eBooks - Search Results

1

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

Published 2015

Springer International Publishing

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

Read Now

2

Rewriting Logic and Its Applications...

Published 2010

Springer Berlin Heidelberg

Table of Contents: “...Invited Talks -- Rewriting, Inference, and Proof -- Twenty Years of Rewriting Logic -- Termination...”

Read Now

3

Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Published 2014

Springer International Publishing

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

Read Now

4

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

Read Now

5

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

Read Now

6

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

Read Now

7

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

Published 2021

Springer International Publishing

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

Read Now

8

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

Published 2018

Springer International Publishing

Table of Contents: “... Variability-Aware Component Model Patterns Framework -- Logical Characterization of Differential Privacy via...”

Read Now

9

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

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

Read Now

11

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

Published 2012

Springer Berlin Heidelberg

Table of Contents: “... in Resource-Restricted Deployment Scenarios -- The Logic of XACML -- A Proof Assistant Based Formalization...”

Read Now

12

Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude

by Ölveczky, Peter Csaba
Published 2017

Springer London

“..., and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language...”

Narrow Search