It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
May 28, 2020 | History
Edit

Dominique Méry

We need a photo of Dominique Méry

4 works Add another?

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

  • Cover of: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

    First published in 2020 — 3 editions
    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: Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

    First published in 2020 — 3 editions
    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: Theoretical Aspects of Computing - ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

    First published in 2014 — 2 editions
    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: Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

    First published in 2010 — 2 editions
    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 Dominique Méry

Subjects

Computational complexity, Computer programming, Computer science, Computer science, mathematics, Discrete Mathematics in Computer Science, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software engineering

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7932295A

Links outside Open Library

No links yet. Add one?

History

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