close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Roberto Gorrieri

Roberto GorrieriRoberto Gorrieri is Professor of Computer Science at the University of Bologna. His research interests include theory of concurrency and foundations of security. Gorrieri is author of two books 'Introduction to Concurrency Theory' (2015) and 'ProcessAlgebras for Petri Nets' (2017) and editor of ten volumes, mainly about security foundations. Read More Read Less

29 results found
List viewGrid view
Sort By:
1.
Foundations of Security Analysis and Design59 %
No Review Yet
₹5,474
₹2,244
Binding:
Paperback
Release:
30 Aug 2007
Language:
English
Available
Ships within 1-2 Days Explain..
4.
Process Algebras for Petri Nets37 %
No Review Yet
₹8,919
₹5,619
Binding:
Hardback
Release:
25 Apr 2017
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Foundations of Security Analysis and Design III
Available
Ships within 8-10 Days Explain..
7.
Foundations of Security Analysis and Design V36 %
No Review Yet
₹5,124
₹3,279
Binding:
Paperback
Release:
17 Aug 2009
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Process Algebras for Petri Nets37 %
No Review Yet
₹8,919
₹5,619
Binding:
Paperback
Release:
09 May 2018
Language:
English
Available
Ships within 14-16 Days Explain..
9.
Introduction to Concurrency Theory36 %
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
22 Oct 2016
Language:
English
Available
Ships within 14-16 Days Explain..
10.
Introduction to Concurrency Theory36 %
No Review Yet
₹5,574
₹3,567
Binding:
Hardback
Release:
11 Sep 2015
Language:
English
Available
Ships within 14-16 Days Explain..
11.
Formal Methods for Open Object-Based Distributed Systems36 %
No Review Yet
₹5,574
₹3,567
Binding:
Paperback
Release:
09 Jun 2006
Language:
English
Available
Ships within 14-16 Days Explain..
12.
Computational Methods in Systems Biology37 %
No Review Yet
₹11,149
₹7,024
Binding:
Paperback
Release:
17 Aug 2009
Language:
English
Available
Ships within 14-16 Days Explain..
13.
Formal Methods for Open Object-Based Distributed Systems37 %
No Review Yet
₹22,299
₹14,048
Binding:
Paperback
Release:
17 Jan 2013
Language:
English
Available
Ships within 14-16 Days Explain..
14.
Automata, Languages and Programming37 %
No Review Yet
₹11,149
₹7,024
Binding:
Paperback
Release:
18 Jun 1997
Language:
English
Available
Ships within 14-16 Days Explain..
15.
Formal Methods for Open Object-Based Distributed Systems37 %
No Review Yet
₹22,299
₹14,048
Binding:
Hardback
Release:
28 Feb 1999
Language:
English
Available
Ships within 14-16 Days Explain..
16.
Syntax and Semantics of Petri NetsNR
No Review Yet
₹12,950
Binding:
Hardback
Release:
25 Sep 2025
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
17.
Formal Methods for Open Object-Based Distributed SystemsNR
Publisher: Springer
No Review Yet
₹4,919
Binding:
Paperback
Release:
15 Jan 2014
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
18.
Syntax and Semantics of Petri Nets
No Review Yet
₹16,241
Binding:
Digital download and online
Release:
09 Sep 2025
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
19.
Foundations of Security Analysis and Design
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
04 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
20.
Foundations of Security Analysis and Design VI
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
26 Aug 2011
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results
ASK VIDYA