MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi

Published 2014

Springer Berlin Heidelberg

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

Cover Image

2

Algebra, Meaning, and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Published 2006

Springer Berlin Heidelberg

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

Cover Image

3

Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Published 2008

Springer Berlin Heidelberg

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

Cover Image

4

Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

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

Cover Image

5

Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Published 2011

Springer Berlin Heidelberg

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

Cover Image

6

Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows

Published 2019

Springer International Publishing

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