Treffer 1 – 8 von 8 für Suche 'De Nicola, Rocco', Suchdauer: 0,06s 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
    Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

    Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming von De Nicola, Rocco

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


    Gespeichert in:
  2. 2
    Branching bisimulation as a strong bisimulation

    Branching bisimulation as a strong bisimulation von Bouali, Amar, De Nicola, Rocco

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Three logics for branching bisimulation

    Three logics for branching bisimulation von De Nicola, Rocco, Vaandrager, Frits W.

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Back and forth bisimulations

    Back and forth bisimulations von De Nicola, Rocco, Montanari, Ugo 1943-, Vaandrager, Frits W.

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Testing equivalences and fully abstract models for communicating processes

    Testing equivalences and fully abstract models for communicating processes von De Nicola, Rocco

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Two complete axiom systems for a theory of communicating sequential processes

    Two complete axiom systems for a theory of communicating sequential processes von De Nicola, Rocco

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings

    Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007,...

    Veröffentlicht 2007
    Weitere Verfasser: “… DeNicola, Rocco …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Software engineering and formal methods 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings

    Software engineering and formal methods 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… De Nicola, Rocco 1954- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: