Treffer 1 – 20 von 99 für Suche 'Bergstra, Jan A. 1951-', Suchdauer: 0,13s 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
    About "trivial" software patents the isNot case ; report/rapport SEN Software Engineering

    About "trivial" software patents the isNot case ; report/rapport SEN Software Engineering von Bergstra, Jan A. 1951-

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Process algebra for hybrid systems

    Process algebra for hybrid systems von Bergstra, Jan A. 1951-, Middelburg, Cornelis A.

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Axioms for SNABOK, a system and network administration body of knowledge missing link stage of ontology process

    Axioms for SNABOK, a system and network administration body of knowledge missing link stage of ontology process von Bergstra, Jan A. 1951-

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Execution architectures for program algebra

    Execution architectures for program algebra von Bergstra, Jan A. 1951-, Ponse, Alban

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Homomorphism preserving algebraic specifications require hidden sorts

    Homomorphism preserving algebraic specifications require hidden sorts von Bergstra, Jan A. 1951-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Real time process algebra

    Real time process algebra von Baeten, Josephus C. M., Bergstra, Jan A. 1951-

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Design of a specification language by abstract syntax engineering

    Design of a specification language by abstract syntax engineering von Baeten, Josephus C. M., Bergstra, Jan A. 1951-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    ASF, an Algebraic Specification Formalism

    ASF, an Algebraic Specification Formalism von Bergstra, Jan A. 1951-, Heering, Jan, Klint, Paul

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Algebraic specifications of computable and semicomputable datatypes

    Algebraic specifications of computable and semicomputable datatypes von Bergstra, Jan A. 1951-, Tucker, John V.

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Global renaming operators in concrete process algebra

    Global renaming operators in concrete process algebra von Baeten, Josephus C. M., Bergstra, Jan A. 1951-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Algebraic definition of a simple programming language

    Algebraic definition of a simple programming language von Bergstra, Jan A. 1951-, Heering, Jan, Klint, Paul

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Conditional axioms and alpha/beta calculus in process algebra

    Conditional axioms and alpha/beta calculus in process algebra von Baeten, Josephus C. M., Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    On the consistency of Koomen's fair abstraction rule

    On the consistency of Koomen's fair abstraction rule von Baeten, Josephus C. M., Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Readies and failures in the algebra of communicating processes

    Readies and failures in the algebra of communicating processes von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    A complete inference system for regular processes with silent moves

    A complete inference system for regular processes with silent moves von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1984
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Algebra of communicating processes with abstraction

    Algebra of communicating processes with abstraction von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Process algebra for communication and mutual exclusion

    Process algebra for communication and mutual exclusion von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Verification of an alternating bit protocol by means of process algebra

    Verification of an alternating bit protocol by means of process algebra von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    An algebraic specification method for processes over a finite action set

    An algebraic specification method for processes over a finite action set von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    On specifying sets of integers

    On specifying sets of integers von Bergstra, Jan A. 1951-, Meyer, John-Jules Ch. 1954-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: