It looks like you're offline.
Open Library logo
additional options menu
Last edited anonymously
April 29, 2008 | History

Andreas Gerstlauer

We need a photo of Andreas Gerstlauer

6 works Add another?

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

  • Cover of: SpecC: Specification Language and Methodology

    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: System Design - A Practical Guide with SpecC

    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: Memocode '15: 13th ACM/IEEE International Conference on Formal Methods and Models for Codesign

    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: Embedded System Design : Topics, Techniques and Trends : IFIP TC10 Working Conference: International Embedded Systems Symposium , May 30 - June 1, 2007, Irvine , USA

    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: System Design: A Practical Guide with SpecC

    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: Embedded System Design: Modeling, Synthesis and Verification

    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

History

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