Showing 1 - 6 results of 6 for search 'Staunstrup, J. (Jørgen), 1952-', query time: 0.02s Refine Results
  1. 1
    A formal approach to hardware design /

    A formal approach to hardware design / by Staunstrup, J. (Jørgen), 1952-

    Published 1994
    Book
    Save to List
    Saved in:
  2. 2
    Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /

    Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /

    Published 1982
    Other Authors: “…Staunstrup, J. (Jørgen), 1952-…”
    Book
    Save to List
    Saved in:
  3. 3
    Program specification proceedings of a workshop, Aarhus, Denmark, August 1981 /

    Program specification proceedings of a workshop, Aarhus, Denmark, August 1981 /

    Published 1982
    Other Authors: “…Staunstrup, J. (Jørgen), 1952-…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Formal methods for VLSI design : IFIP WG 10.5 lecture notes /

    Formal methods for VLSI design : IFIP WG 10.5 lecture notes /

    Published 1990
    Other Authors: “…Staunstrup, J. (Jørgen), 1952-…”
    Book
    Save to List
    Saved in:
  5. 5
    Hardware/software co-design : principles and practice /

    Hardware/software co-design : principles and practice /

    Published 1997
    Other Authors: “…Staunstrup, J. (Jørgen), 1952-…”
    Book
    Save to List
    Saved in:
  6. 6
    Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 /

    Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 /

    Published 1992
    Other Authors: “…Staunstrup, J. (Jørgen), 1952-…”
    Conference Proceeding Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search