Introduction to Concurrency Theory: Transition Systems and CCS
Autor Roberto Gorrieri et al.
11 sep 2015
Hardback
Preț: 331.57 lei 414.47 lei
3-5 săpt.
-20%
Cărți de Roberto Gorrieri
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Autor Roberto Gorrieri
25 apr 2017
Hardback
Preț: 523.61 lei 654.52 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
Editat de Paolo Ciancarini et al.
28 feb 1999
Hardback
Preț: 1250.78 lei 1563.47 lei
6-8 săpt.
-20%
Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
Editat de Alessandro Aldini et al.
19 aug 2011
Paperback
Preț: 322.28 lei 402.84 lei
6-8 săpt.
-20%
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures
Editat de Alessandro Aldini et al.
17 aug 2009
Paperback
Preț: 299.78 lei 374.71 lei
6-8 săpt.
-20%
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009
Editat de Pierpaolo Degano et al.
17 aug 2009
Paperback
Preț: 625.72 lei 736.13 lei
6-8 săpt.
-15%
Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures
Editat de Alessandro Aldini et al.
30 aug 2007
Paperback
Preț: 380.64 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
Editat de Roberto Gorrieri et al.
9 iun 2006
Paperback
Preț: 322.28 lei 402.84 lei
6-8 săpt.
-20%
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
Editat de Alessandro Aldini et al.
12 sep 2005
Paperback
Preț: 295.60 lei 369.50 lei
6-8 săpt.
-20%
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures
Editat de Riccardo Focardi et al.
28 ian 2004
Paperback
Preț: 376.18 lei
6-8 săpt.
Foundations of Security Analysis and Design: Tutorial Lectures
Editat de Riccardo Focardi et al.
7 noi 2001
Paperback
Preț: 328.71 lei 410.90 lei
6-8 săpt.
-20%
Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
Editat de Pierpaolo Degano et al.
18 iun 1997
Paperback
Preț: 655.01 lei 818.77 lei
6-8 săpt.
-20%