Cărți de Roberto Gorrieri

Introduction to Concurrency Theory: Transition Systems and CCS

Texts in Theoretical Computer Science. An EATCS Series

Autor Roberto Gorrieri et al.

11 sep 2015

Preț: 334^.43 lei 418^.04 lei

3-5 săpt.

-20%

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Monographs in Theoretical Computer Science. An EATCS Series

Autor Roberto Gorrieri

25 apr 2017

Preț: 528^.14 lei 660^.18 lei

6-8 săpt.

-20%

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

IFIP Advances in Information and Communication Technology, nr. 10

Editat de Paolo Ciancarini et al.

28 feb 1999

Preț: 1261^.65 lei 1577^.06 lei

6-8 săpt.

-20%

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Lecture Notes in Computer Science, nr. 6858

Editat de Alessandro Aldini et al.

19 aug 2011

Preț: 325^.06 lei 406^.32 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 5705

Editat de Alessandro Aldini et al.

17 aug 2009

Preț: 302^.34 lei 377^.93 lei

6-8 săpt.

-20%

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009

Lecture Notes in Computer Science, nr. 5688

Editat de Pierpaolo Degano et al.

17 aug 2009

Preț: 631^.14 lei 742^.52 lei

6-8 săpt.

-15%

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

Lecture Notes in Computer Science, nr. 4677

Editat de Alessandro Aldini et al.

30 aug 2007

Preț: 383^.90 lei

6-8 săpt.

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

Lecture Notes in Computer Science, nr. 4037

Editat de Roberto Gorrieri et al.

9 iun 2006

Preț: 325^.06 lei 406^.32 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 3655

Editat de Alessandro Aldini et al.

12 sep 2005

Preț: 298^.14 lei 372^.68 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 2946

Editat de Riccardo Focardi et al.

28 ian 2004

Preț: 379^.42 lei

6-8 săpt.

Foundations of Security Analysis and Design: Tutorial Lectures

Lecture Notes in Computer Science, nr. 2171

Editat de Riccardo Focardi et al.

7 noi 2001

Preț: 331^.55 lei 414^.44 lei

6-8 săpt.

-20%

Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1256

Editat de Pierpaolo Degano et al.

18 iun 1997

Preț: 660^.68 lei 825^.86 lei

6-8 săpt.

-20%