Roberto Gorrieri – författare
Visar alla böcker från författaren Roberto Gorrieri. Handla med fri frakt och snabb leverans.
28 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
Av Roberto Gorrieri, Alessandro Fantechi m. fl.
E-bok, 2013
2948 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book …
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
Av International Conference on Formal Metho, International Federation for Information m. fl.
Inbunden, 1999
2250 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book …
Syntax and Semantics of Petri Nets
Inbunden, 2025
1861 kr
Lägg i varukorg
Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying three classes of nets that model (i) sequential systems, (ii) non-communicating parallel systems, and (iii) communicating parallel systems. A …
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
Av Paolo Ciancarini, Alessandro Fantechi m. fl.
Häftad, 2013
2236 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book …
Introduction to Concurrency Theory
Transition Systems and CCS
Av Roberto Gorrieri, Cristian Versari
Inbunden, 2015
564 kr
Lägg i varukorg
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of …
Introduction to Concurrency Theory
Transition Systems and CCS
Av Cristian Versari, Roberto Gorrieri
E-bok, 2015
718 kr
Lägg i varukorg
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of …
Introduction to Concurrency Theory
Transition Systems and CCS
Av Roberto Gorrieri, Cristian Versari
Häftad, 2016
564 kr
Lägg i varukorg
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of …
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
Inbunden, 2017
873 kr
Lägg i varukorg
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book …
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
E-bok, 2017
1141 kr
Lägg i varukorg
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book …
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
Häftad, 2018
873 kr
Lägg i varukorg
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book …
Foundations of Security Analysis and Design II
FOSAD 2001/2002 Tutorial Lectures
Av Riccardo Focardi, Roberto Gorrieri
Häftad, 2004
564 kr
Lägg i varukorg
Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such …
Foundations of Security Analysis and Design II
FOSAD 2001/2002 Tutorial Lectures
Av Roberto Gorrieri, Riccardo Focardi
E-bok, 2004
739 kr
Lägg i varukorg
Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such …
Foundations of Security Analysis and Design III
FOSAD 2004/2005 Tutorial Lectures
Av Alessandro Aldini, Roberto Gorrieri m. fl.
Häftad, 2005
508 kr
Lägg i varukorg
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security …
Foundations of Security Analysis and Design III
FOSAD 2004/2005 Tutorial Lectures
Av Fabio Martinelli, Roberto Gorrieri m. fl.
E-bok, 2005
672 kr
Lägg i varukorg
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security …
Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Av Roberto Gorrieri, Heike Wehrheim
Häftad, 2006
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 …
Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Av Heike Wehrheim, Roberto Gorrieri
E-bok, 2006
755 kr
Lägg i varukorg
Foundations of Security Analysis and Design
Tutorial Lectures
Av Riccardo Focardi, Roberto Gorrieri
Häftad, 2001
566 kr
Lägg i varukorg
Security is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, electronic commerce, information protection, network and systems integrity, etc. This volume presents thoroughly revised versions of lectures given …
Foundations of Security Analysis and Design
Tutorial Lectures
Av Roberto Gorrieri, Riccardo Focardi
E-bok, 2003
739 kr
Lägg i varukorg
Automata, Languages and Programming
24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
Av Pierpaolo Degano, Roberto Gorrieri m. fl.
Häftad, 1997
1126 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has …
Foundations of Security Analysis and Design
FOSAD 2006/2007 Turtorial Lectures
Av Alessandro Aldini, Roberto Gorrieri
Häftad, 2007
564 kr
Lägg i varukorg
The increasing relevance of security to real-life applications, such as electronic commerce, is attested by the fast-growing number of research groups, events, conferences, and summer schools that are studying it. This book presents thoroughly revised versions of eight tutorial lectures given by …
Foundations of Security Analysis and Design
FOSAD 2006/2007 Turtorial Lectures
Av Roberto Gorrieri, Alessandro Aldini
E-bok, 2007
734 kr
Lägg i varukorg
Foundations of Security Analysis and Design V
FOSAD 2008/2009 Tutorial Lectures
Av Alessandro Aldini, Gilles Barthe m. fl.
Häftad, 2009
519 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open …
Foundations of Security Analysis and Design V
FOSAD 2008/2009 Tutorial Lectures
Av Roberto Gorrieri, Gilles Barthe m. fl.
E-bok, 2009
657 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open …
Computational Methods in Systems Biology
7th International Conference, CMSB 2009
Av Pierpaolo Degano, Roberto Gorrieri
Häftad, 2009
1089 kr
Lägg i varukorg
This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009. The ?rst CMSB was held in Trento in 2003, bringing together life scientists, computer scientists, engineers and physicists. The …
Computational Methods in Systems Biology
7th International Conference, CMSB 2009
Av Roberto Gorrieri, Pierpaolo Degano
E-bok, 2009
1427 kr
Lägg i varukorg
This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009. The ?rst CMSB was held in Trento in 2003, bringing together life scientists, computer scientists, engineers and physicists. The …
Foundations of Security Analysis and Design VI
FOSAD Tutorial Lectures
Av Alessandro Aldini, Roberto Gorrieri
Häftad, 2011
564 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a timely spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical …
Foundations of Security Analysis and Design VI
FOSAD Tutorial Lectures
Av Roberto Gorrieri, Alessandro Aldini
E-bok, 2011
755 kr
Lägg i varukorg
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a timely spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical …
