Treffer 1 – 20 von 60 für Suche 'Bakker, Jacobus W. de 1939-2012', Suchdauer: 0,12s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Control flow semantics

    Control flow semantics von Bakker, Jacobus W. de 1939-2012, Vink, Eric de

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Comparative semantics for linear arrays of communicating processes

    Comparative semantics for linear arrays of communicating processes von Bakker, Jacobus W. de 1939-2012, Breugel, Franck van, Bruin, A. de

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Bisimulation semantics for concurrency with atomicity and action refinement

    Bisimulation semantics for concurrency with atomicity and action refinement von Bakker, Jacobus W. de 1939-2012, Vink, E. P. de

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Four domains for concurrency

    Four domains for concurrency von Bakker, Jacobus W. de 1939-2012

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Concurrency semantics based on metric domain equations

    Concurrency semantics based on metric domain equations von Bakker, Jacobus W. de 1939-2012, Rutten, Jan J.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Designing concurrency semantics

    Designing concurrency semantics von Bakker, Jacobus W. de 1939-2012

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Designing concurrency semantics

    Designing concurrency semantics von Bakker, Jacobus W. de 1939-2012

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog

    Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog von Bakker, Jacobus W. de 1939-2012, Kok, Joost N.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Comparative semantics for flow of control in logic programming without logic

    Comparative semantics for flow of control in logic programming without logic von Bakker, Jacobus W. de 1939-2012

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Order and metric in the stream semantics of element concurrency

    Order and metric in the stream semantics of element concurrency von Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Compactness in semantics for merge and fair merge

    Compactness in semantics for merge and fair merge von Bakker, Jacobus W. de 1939-2012, Zucker, Jeffrey I.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Processes and fair semantics for the ADA rendez-vous

    Processes and fair semantics for the ADA rendez-vous von Bakker, Jacobus W. de 1939-2012, Zucker, Jeffrey I.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Derivatives of programs

    Derivatives of programs von Bakker, Jacobus W. de 1939-2012, Zucker, Jeffrey I.

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Semantics and proof theory of Pascal procedures

    Semantics and proof theory of Pascal procedures von Apt, Krzysztof R. 1949-, Bakker, Jacobus W. de 1939-2012

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Semantics of infinite processes using generalized trees

    Semantics of infinite processes using generalized trees von Bakker, Jacobus W. de 1939-2012

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Recursive programs as predicate transformers

    Recursive programs as predicate transformers von Bakker, Jacobus W. de 1939-2012

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Correctness proofs for assignment statements

    Correctness proofs for assignment statements von Bakker, Jacobus W. de 1939-2012

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    On the completeness of the inductive assertion method

    On the completeness of the inductive assertion method von Bakker, Jacobus W. de 1939-2012, Meertens, Lambert G.

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    A calculus for recursive program schemes

    A calculus for recursive program schemes von Bakker, Jacobus W. de 1939-2012, Roever, Willem-Paul de 1943-

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Formal definition of programming languages with an application to the definition of ALGOL 60

    Formal definition of programming languages with an application to the definition of ALGOL 60 von Bakker, Jacobus W. de 1939-2012

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: