Syntax and Semantics of Petri Nets Cambridge Tracts in Theoretical Computer Science Autor Roberto Gorrieri 21 aug 2025 Hardback Preț: 746.54 lei 933.18 lei 6-8 săpt. | 4-10 zile -20%
Introduction to Concurrency Theory: Transition Systems and CCS Texts in Theoretical Computer Science. An EATCS Series Autor Roberto Gorrieri et al. 11 sep 2015 Hardback Preț: 328.29 lei 410.37 lei 3-5 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 Hardback Preț: 1237.63 lei 1547.04 lei 6-8 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 Hardback Preț: 518.27 lei 647.84 lei 6-8 săpt. -20%