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

Reiner Hähnle

We need a photo of Reiner Hähnle

8 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: Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

    First published in 2012 3 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: Deductive Software Verification - the KeY Book: From Theory to Practice

    First published in 2016 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: Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and ...

    First published in 2019 2 editions
    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: Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

    First published in 2010 1 edition 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: Deductive Software Verification : Future Perspectives: Reflections on the Occasion of 20 Years of KeY

    First published in 2020 1 edition 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: Verification of Object-Oriented Software. the KeY Approach: Foreword by K. Rustan M. Leino

    First published in 2007 1 edition 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: Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

    First published in 2008 1 edition 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: Machine Learning for Dynamic Software Analysis : Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, ... Papers

    First published in 2018 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 Reiner Hähnle

Subjects
Machine learning, Artificial Intelligence (incl. Robotics), Artificial intelligence, Computation by Abstract Devices, Computer science, Computer software, Computer software, verification, Data Mining and Knowledge Discovery, Data mining, Information organization, Information retrieval, Information storage and retrieval systems, Optical pattern recognition, Pattern perception, Robots, programming, Software engineering

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7574205A

Links (outside Open Library)

No links yet. Add one?

History

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