Hoppa till sidans huvudinnehåll

Roberto Gorrieri – författare

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

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

AvInternational Conference on Formal Metho,International Federation for Informationm. fl.

Inbunden, Engelska, 1999

2 879 kr

Skickas inom 10-15 vardagar

Roberto Gorrieri - Syntax and Semantics of Petri Nets, Inbunden
Del 63 - Cambridge Tracts in Theoretical Computer Science

Syntax and Semantics of Petri Nets

AvRoberto Gorrieri

Inbunden, Engelska, 2025

1 989 kr

Skickas inom 7-10 vardagar

Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri - Formal Methods for Open Object-Based Distributed Systems, Häftad
Del 10 - IFIP Advances in Information and Communication Technology

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

AvPaolo Ciancarini,Alessandro Fantechim. fl.

Häftad, Engelska, 2013

2 879 kr

Skickas inom 10-15 vardagar

Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory, Inbunden

Introduction to Concurrency Theory

Transition Systems and CCS

AvRoberto Gorrieri,Cristian Versari

Inbunden, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory, Häftad

Introduction to Concurrency Theory

Transition Systems and CCS

AvRoberto Gorrieri,Cristian Versari

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Roberto Gorrieri - Process Algebras for Petri Nets, Inbunden

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

AvRoberto Gorrieri

Inbunden, Engelska, 2017

1 129 kr

Skickas inom 10-15 vardagar

Roberto Gorrieri - Process Algebras for Petri Nets, Häftad

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

AvRoberto Gorrieri

Häftad, Engelska, 2018

1 129 kr

Skickas inom 10-15 vardagar

Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design II, Häftad

Foundations of Security Analysis and Design II

FOSAD 2001/2002 Tutorial Lectures

AvRiccardo Focardi,Roberto Gorrieri

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli - Foundations of Security Analysis and Design III, Häftad

Foundations of Security Analysis and Design III

FOSAD 2004/2005 Tutorial Lectures

AvAlessandro Aldini,Roberto Gorrierim. fl.

Häftad, Engelska, 2005

659 kr

Skickas inom 10-15 vardagar

Roberto Gorrieri, Heike Wehrheim - Formal Methods for Open Object-Based Distributed Systems, Häftad

Formal Methods for Open Object-Based Distributed Systems

8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

AvRoberto Gorrieri,Heike Wehrheim

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design, Häftad

Foundations of Security Analysis and Design

Tutorial Lectures

AvRiccardo Focardi,Roberto Gorrieri

Häftad, Engelska, 2001

729 kr

Skickas inom 10-15 vardagar

Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela - Automata, Languages and Programming, Häftad

Automata, Languages and Programming

24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

AvPierpaolo Degano,Roberto Gorrierim. fl.

Häftad, Engelska, 1997

1 449 kr

Skickas inom 10-15 vardagar

Alessandro Aldini, Roberto Gorrieri - Foundations of Security Analysis and Design, Häftad

Foundations of Security Analysis and Design

FOSAD 2006/2007 Turtorial Lectures

AvAlessandro Aldini,Roberto Gorrieri

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri - Foundations of Security Analysis and Design V, Häftad

Foundations of Security Analysis and Design V

FOSAD 2008/2009 Tutorial Lectures

AvAlessandro Aldini,Gilles Barthem. fl.

Häftad, Engelska, 2009

669 kr

Skickas inom 10-15 vardagar

Pierpaolo Degano, Roberto Gorrieri - Computational Methods in Systems Biology, Häftad

Computational Methods in Systems Biology

7th International Conference, CMSB 2009

AvPierpaolo Degano,Roberto Gorrieri

Häftad, Engelska, 2009

1 399 kr

Skickas inom 10-15 vardagar

Alessandro Aldini, Roberto Gorrieri - Foundations of Security Analysis and Design VI, Häftad

Foundations of Security Analysis and Design VI

FOSAD Tutorial Lectures

AvAlessandro Aldini,Roberto Gorrieri

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar