Showing 1 - 10 results of 10 for search 'America, Pierre', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    A proof theory for process creation

    A proof theory for process creation by America, Pierre

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    A layered semantics for a parallel object-oriented language

    A layered semantics for a parallel object-oriented language by America, Pierre, Rutten, Jan

    Published 1990
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A parallel object-oriented language design and semantic foundations

    A parallel object-oriented language design and semantic foundations by America, Pierre, Rutten, Jan J.

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Solving reflexive domain equations in a category of complete metric spaces

    Solving reflexive domain equations in a category of complete metric spaces by America, Pierre, Rutten, Jan J.

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    A proof theory for a sequential version of POOL

    A proof theory for a sequential version of POOL by America, Pierre

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Designing equivalent semantic models for process creation

    Designing equivalent semantic models for process creation by America, Pierre, Bakker, Jacobus W. de 1939-2012

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    A parallel object-oriented language design and semantic foundations

    A parallel object-oriented language design and semantic foundations by America, Pierre H., Rutten, J. J. M. M.

    Published 1991
    Thesis Book Interlibrary loan Place Request


    Saved in:
  8. 8
    A proof for process creation

    A proof for process creation by America, Pierre H., Boer, Frank S. de

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Proving total correctness of recursive procedures

    Proving total correctness of recursive procedures by America, Pierre, Boer, Frank S. de

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Proving total correctness of recursive procedures

    Proving total correctness of recursive procedures by America, Pierre

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: