It looks like you're offline.
Open Library logo
additional options menu
Last edited by ImportBot
May 1, 2020 | History

Roberto Gorrieri

We need a photo of Roberto Gorrieri

5 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science)

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science)

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to Concurrency Theory: Transition Systems and CCS

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Foundations of security analysis and design II: FOSAD 2001/2002 turorial lectures

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today

History

Download catalog record: RDF / JSON
May 1, 2020 Created by ImportBot import new book