It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 30, 2008 | History
Edit

Stephan Merz

We need a photo of Stephan Merz

7 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

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

  • Cover of: Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

    First published in 2008 3 editions in 1 language
    Not in Library

    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: Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

    First published in 2010 3 editions in 1 language
    Not in Library

    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: Modeling and verification of real-time systems: formalisms and software tools

    First published in 2008 2 editions in 1 language — 1 previewable
    Not in Library

    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 in 1 language
    Not in Library

    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 Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)

    First published in 1996 2 editions in 1 language — 1 previewable
    Not in Library

    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 and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

    First published in 2014 2 editions in 1 language
    Not in Library

    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: Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

    First published in 2016 1 edition
    Not in Library

    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 Stephan Merz

Subjects
Computer software, Computer software, verification, Logic, symbolic and mathematical, Real-time data processing, Algorithm Analysis and Problem Complexity, Automatic theorem proving, Computer Communication Networks, Computer networks, Computer science, Distributed processing, Electronic data processing, Formal methods (Computer science), Mathematical Logic and Formal Languages, Memory management (Computer science), Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineering, Symbolic and mathematical Logic, System design, Tense (Logic), Time, Verification

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL4063437A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 30, 2008 Created by an anonymous user initial import