MPG.eBooks - Search Results - "Logic"

Cover Image

1

Process Algebras for Petri Nets : The Alphabetization of Distributed Systems

by Gorrieri, Roberto
Published 2017

Springer International Publishing

Subjects: “...Mathematical logic...”

Cover Image

2

Introduction to Concurrency Theory : Transition Systems and CCS

by Gorrieri, Roberto, Versari, Cristian
Published 2015

Springer International Publishing

Subjects: “...Mathematical logic...”

Cover Image

3

Foundations of Security Analysis and Design : Tutorial Lectures

by Focardi, Riccardo
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Logic design...”

Cover Image

4

Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

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

Cover Image

5

Foundations of Security Analysis and Design II : FOSAD 20012002 Tutorial Lectures

by Focardi, Riccardo
Published 2004

Springer Berlin Heidelberg

Subjects: “...Logic design...”

Cover Image

6

Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures

Published 2009

Springer Berlin Heidelberg

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

Cover Image

7

Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures

Published 2011

Springer Berlin Heidelberg

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

Cover Image

8

Foundations of Security Analysis and Design : FOSAD 2006/2007 Turtorial Lectures

Published 2007

Springer Berlin Heidelberg

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

Cover Image

9

Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures

Published 2005

Springer Berlin Heidelberg

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

Cover Image

10

Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures

Published 2004

Springer Berlin Heidelberg

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