Treffer 1 – 20 von 20 für Suche 'Middelburg, Cornelis A.', Suchdauer: 0,10s 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
    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:
  2. 2
    Process algebra with nonstandard timing

    Process algebra with nonstandard timing von Middelburg, Cornelis A.

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Process algebra with timing

    Process algebra with timing von Baeten, Josephus C. M., Middelburg, Cornelis A.

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Logic and specification extending VDM-SL for advanced formal specification

    Logic and specification extending VDM-SL for advanced formal specification von Middelburg, Cornelis A.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Revisiting timing in process algebra

    Revisiting timing in process algebra von Middelburg, Cornelis A.

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Operational conservativity with binding terms

    Operational conservativity with binding terms von Middelburg, Cornelis A.

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Process algebra with timing real time and discrete time

    Process algebra with timing real time and discrete time von Baeten, Josephus C. M., Middelburg, Cornelis A.

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A logic for signal inserted timed frames

    A logic for signal inserted timed frames von Bergstra, Jan A. 1951-, Fokkink, Willem J. 1965-, Middelburg, Cornelis A.

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Notations for software design

    Notations for software design von Feijs, Loe M. G, Jonkers, H. B. M. 1949-, Middelburg, Cornelis A.

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    On the semantics of modular structuring facilities in specification languages

    On the semantics of modular structuring facilities in specification languages von Middelburg, Cornelis A.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Programmatuur zonder logica rede uitgesproken bij de aanvaaring van het ambt van hoogleraar in de Toegepaste Logica aan de Faculteit der Wijsbegeerte van de Rijksuniveriteit te Utrecht op woensdag 10 maart 1993

    Programmatuur zonder logica rede uitgesproken bij de aanvaaring van het ambt van hoogleraar in de Toegepaste Logica aan de Faculteit der Wijsbegeerte van de Rijksuniveriteit te Utr... von Middelburg, Cornelis A.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Syntax and semantics of VVSL a language for structured VDM specifications

    Syntax and semantics of VVSL a language for structured VDM specifications von Middelburg, Cornelis A.

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Instruction sequences for computer science

    Instruction sequences for computer science von Bergstra, Jan A. 1951-, Middelburg, Cornelis A.

    Veröffentlicht 2012
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Continuing controlled hybrid automata

    Continuing controlled hybrid automata von Bergstra, Jan A. 1951-, Middelburg, Cornelis A.

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    A new equivalence for processes with timing

    A new equivalence for processes with timing von Baeten, Josephus C. M., Middelburg, Cornelis A., Reniers, M. A. 1970-

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Real time Process algebra with time-dependent conditions

    Real time Process algebra with time-dependent conditions von Baeten, Josephus C. M., Middelburg, Cornelis A.

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Variable binding operators in transition system specifications

    Variable binding operators in transition system specifications von Middelburg, Cornelis A.

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Process algebra semantics of ph-SDL

    Process algebra semantics of ph-SDL von Bergstra, Jan A. 1951-, Middelburg, Cornelis A.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Algebra of timed frames

    Algebra of timed frames von Bergstra, Jan A. 1951-, Fokkink, Willem J. 1965-, Middelburg, Cornelis A.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Syntax and semantics of VVSL a language for structured VDM specifications

    Syntax and semantics of VVSL a language for structured VDM specifications von Middelburg, Cornelis A.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: