Roberto Gorrieri - Böcker

Visar alla böcker från författaren Roberto Gorrieri.
16 produkter
International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri - Formal Methods for Open Object-Based Distributed Systems, Inbunden
Del 10 - IFIP Advances in Information and Communication Technology

Formal Methods for Open Object-Based Distributed Systems

Av International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

Inbunden, Engelska, 1999

2 879 kr

Skickas inom 7-10 vardagar
  • Nyhet
Roberto Gorrieri, Italy) Gorrieri, Roberto (Universita degli Studi, Bologna - Syntax and Semantics of Petri Nets, Inbunden
Del 63 - Cambridge Tracts in Theoretical Computer Science

Syntax and Semantics of Petri Nets

Av Roberto Gorrieri, Italy) Gorrieri, Roberto (Universita degli Studi, Bologna

Inbunden, Engelska, 2025

1 919 kr

Skickas inom 7-10 vardagar
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri - Formal Methods for Open Object-Based Distributed Systems, Häftad

Formal Methods for Open Object-Based Distributed Systems

Av Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

Häftad, Engelska, 2013

2 869 kr

Skickas inom 7-10 vardagar
Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory, Inbunden

Introduction to Concurrency Theory

Av Roberto Gorrieri, Cristian Versari

Inbunden, Engelska, 2015

709 kr

Skickas inom 7-10 vardagar
Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory, Häftad

Introduction to Concurrency Theory

Av Roberto Gorrieri, Cristian Versari

Häftad, Engelska, 2016

709 kr

Skickas inom 7-10 vardagar
Roberto Gorrieri - Process Algebras for Petri Nets, Inbunden

Process Algebras for Petri Nets

Av Roberto Gorrieri

Inbunden, Engelska, 2017

1 139 kr

Skickas inom 7-10 vardagar
Roberto Gorrieri - Process Algebras for Petri Nets, Häftad

Process Algebras for Petri Nets

Av Roberto Gorrieri

Häftad, Engelska, 2018

1 129 kr

Skickas inom 7-10 vardagar
Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design II, Häftad
Del 2946 - Lecture Notes in Computer Science

Foundations of Security Analysis and Design II

Av Riccardo Focardi, Roberto Gorrieri

Häftad, Engelska, 2004

729 kr

Skickas inom 7-10 vardagar
Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli - Foundations of Security Analysis and Design III, Häftad

Foundations of Security Analysis and Design III

Av Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli

Häftad, Engelska, 2005

659 kr

Skickas inom 7-10 vardagar
Roberto Gorrieri, Heike Wehrheim - Formal Methods for Open Object-Based Distributed Systems, Häftad

Formal Methods for Open Object-Based Distributed Systems

Av Roberto Gorrieri, Heike Wehrheim

Häftad, Engelska, 2006

729 kr

Skickas inom 7-10 vardagar
Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design, Häftad
Del 2171 - Lecture Notes in Computer Science

Foundations of Security Analysis and Design

Av Riccardo Focardi, Roberto Gorrieri

Häftad, Engelska, 2001

729 kr

Skickas inom 7-10 vardagar
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela - Automata, Languages and Programming, Häftad
Del 1256 - Lecture Notes in Computer Science

Automata, Languages and Programming

Av Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela

Häftad, Engelska, 1997

1 449 kr

Skickas inom 7-10 vardagar
Alessandro Aldini, Roberto Gorrieri - Foundations of Security Analysis and Design, Häftad

Foundations of Security Analysis and Design

Av Alessandro Aldini, Roberto Gorrieri

Häftad, Engelska, 2007

729 kr

Skickas inom 7-10 vardagar
Alessandro Aldini, Gilles Barthe, Roberto Gorrieri - Foundations of Security Analysis and Design V, Häftad

Foundations of Security Analysis and Design V

Av Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Häftad, Engelska, 2009

679 kr

Skickas inom 7-10 vardagar
Pierpaolo Degano, Roberto Gorrieri - Computational Methods in Systems Biology, Häftad

Computational Methods in Systems Biology

Av Pierpaolo Degano, Roberto Gorrieri

Häftad, Engelska, 2009

1 409 kr

Skickas inom 7-10 vardagar
Alessandro Aldini, Roberto Gorrieri - Foundations of Security Analysis and Design VI, Häftad

Foundations of Security Analysis and Design VI

Av Alessandro Aldini, Roberto Gorrieri

Häftad, Engelska, 2011

729 kr

Skickas inom 7-10 vardagar