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

Martin Leucker

We need a photo of Martin Leucker

8 works Add another?

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

  • Cover of: Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

    First published in 2008 — 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: Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

    First published in 2015 — 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: Formal Methods : Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected

    First published in 2007 — 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: Model-Based Testing of Reactive Systems: Advanced Lectures

    First published in 2005 — 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 in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

    First published in 2021 — 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: Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

    First published in 2009 — 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: 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 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: Logics for Mazurkiewicz traces

    First published in 2002 — 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 Martin Leucker

Subjects

Computer software, testing, Electronic data processing, Software engineering, Algebra, Computer programs, Computer science, Computer software, Computer software, reliability, Computer software, verification, Congresses, Data processing, Entwurfsmuster, Formale Methode, Information theory, Kongress, Model Checking, Nebenläufigkeit, Softwareentwicklung, Systementwicklung, Theoretische Informatik

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7208092A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
July 29, 2014 Created by ImportBot import new book