It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by MARC Bot
July 7, 2019 | History
Edit

Alessandro Cimatti

We need a photo of Alessandro Cimatti

4 works Add another?

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

  • Cover of: Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

    First published in 2006 — 1 edition
    Locate

    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: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

    First published in 2017 — 1 edition
    Locate

    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: Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

    First published in 2023 — 1 edition
    Locate

    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: Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

    First published in 2012 — 1 edition
    Locate

    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
We need a photo of Alessandro Cimatti

Subjects

Algorithm Analysis and Problem Complexity, Artificial Intelligence (incl. Robotics), Artificial intelligence, Circuits Information and Communication, Computation by Abstract Devices, Computer science, Computer software, Integrated circuits, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematics, Software engineering, Telecommunication systems

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7580173A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
July 7, 2019 Created by MARC Bot import new book