Roberto Gorrieri - Böcker

Visar alla böcker från författaren Roberto Gorrieri.

16 produkter

Kategorier

16 produkter

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 Information m. fl.

Inbunden, Engelska, 1999

2 779 kr

Skickas inom 10-15 vardagar

Del 63

Del 63 - Cambridge Tracts in Theoretical Computer Science

Syntax and Semantics of Petri Nets

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

Inbunden, Engelska, 2025

1 849 kr

Skickas inom 10-15 vardagar

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 Fantechi m. fl.

Häftad, Engelska, 2013

2 779 kr

Skickas inom 10-15 vardagar

Introduction to Concurrency Theory

Transition Systems and CCS

AvRoberto Gorrieri,Cristian Versari

Inbunden, Engelska, 2015

699 kr

Skickas inom 10-15 vardagar

Introduction to Concurrency Theory

Transition Systems and CCS

AvRoberto Gorrieri,Cristian Versari

Häftad, Engelska, 2016

699 kr

Skickas inom 10-15 vardagar

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

AvRoberto Gorrieri

Inbunden, Engelska, 2017

1 109 kr

Skickas inom 10-15 vardagar

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

AvRoberto Gorrieri

Häftad, Engelska, 2018

1 109 kr

Skickas inom 10-15 vardagar

Foundations of Security Analysis and Design II

FOSAD 2001/2002 Tutorial Lectures

AvRiccardo Focardi,Roberto Gorrieri

Häftad, Engelska, 2004

719 kr

Skickas inom 10-15 vardagar

Foundations of Security Analysis and Design III

FOSAD 2004/2005 Tutorial Lectures

AvAlessandro Aldini,Roberto Gorrieri m. fl.

Häftad, Engelska, 2005

649 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

Foundations of Security Analysis and Design

Tutorial Lectures

AvRiccardo Focardi,Roberto Gorrieri

Häftad, Engelska, 2001

719 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

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

AvPierpaolo Degano,Roberto Gorrieri m. fl.

Häftad, Engelska, 1997

1 429 kr

Skickas inom 10-15 vardagar

Foundations of Security Analysis and Design

FOSAD 2006/2007 Turtorial Lectures

AvAlessandro Aldini,Roberto Gorrieri

Häftad, Engelska, 2007

719 kr

Skickas inom 10-15 vardagar

Foundations of Security Analysis and Design V

FOSAD 2008/2009 Tutorial Lectures

AvAlessandro Aldini,Gilles Barthe m. fl.

Häftad, Engelska, 2009

659 kr

Skickas inom 10-15 vardagar

Computational Methods in Systems Biology

7th International Conference, CMSB 2009

AvPierpaolo Degano,Roberto Gorrieri

Häftad, Engelska, 2009

1 389 kr

Skickas inom 10-15 vardagar

Foundations of Security Analysis and Design VI

FOSAD Tutorial Lectures

AvAlessandro Aldini,Roberto Gorrieri

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar