Join BookitisSave favorites, build lists, and follow creators.

Ezio Bartocci

Ezio Bartocci

EB
7 featured booksEzio Bartocci

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL1367118A

Overview

Catalog identity and bibliographic footprint for this author.

7 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

  • Display name

    Ezio Bartocci

  • Personal name

    Ezio Bartocci

  • Source identifier

    OL1367118A

Featured books

Representative editions for works actually authored by this person.

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

  • From Reactive Systems to Cyber-Physical Systems

    Representative edition published 2019

    Open Work
  • Lectures on Runtime Verification

    Representative edition published 2018

    Open Work
  • Runtime Verification

    Representative edition published 2015

    Open Work
  • Model Checking Software

    Representative edition published 2013

    Open Work
  • Formal Methods in Outer Space

    Representative edition published 2021

    Open Work
  • Computational Methods in Systems Biology

    Representative edition published 2016

    Open Work
  • Organicittà

    Representative edition published 1981

    Open Work