It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by Mek
October 14, 2016 | History
Edit

Burkhart Wolff

We need a photo of Burkhart Wolff

6 works Add another?

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

  • Cover of: Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

    First published in 2009 — 4 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: Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

    First published in 2003 — 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: Testing Software and Systems: 23rd IFIP WG 6. 1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

    First published in 2011 — 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 Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

    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: Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

    First published in 2013 — 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: Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings

    First published in 2011 — 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 Burkhart Wolff

Subjects

Software engineering, Computer science, Computer software, Congresses, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Computation by Abstract Devices, Computer programming, Computer software, validation, Kommunikationssystem, Logic, symbolic and mathematical, Model Checking, Models and Principles, Programming Techniques, Programmtest, Software, Testen, Testing, Testmustergenerierung

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7344147A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
October 14, 2016 Created by Mek Added new book.