Suchergebnisse - Bonsangue, Marcello

  • Treffer 1 – 13 von 13
Treffer filtern
  1. 1
    Buchumschlag

    Generalized ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding
    von Bonsangue, Marcello

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Generalized ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding
    von Bonsangue, Marcello M., Breugel, Franck van, Rutten, Jan J.

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Semantics, orderings and recursion in the weakest precondition calculus
    von Bonsangue, Marcello M., Kok, Joost N.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding
    von Bonsangue, Marcello

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Isomorphisms between predicate and state transformers
    von Bonsangue, Marcello M., Kok, Joost N.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Isomorphisms between predicate and state transformers
    von Bonsangue, Marcello

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Semantics, orderings and recursion in the weakest precondition calculus
    von Bonsangue, Marcello

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Theoretical aspects of computing - ICTAC 2024: 21st international colloquium, Bangkok, Thailand, November 25–29, 2024, proceedings

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Bonsangue, Marcello M. …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    It's all about coordination: essays to celebrate the lifelong scientific achievements of Farhad Arbab

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Bonsangue, Marcello …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Data Science and Artificial Intelligence: Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Bonsangue, Marcello M. …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    Data Science and Artificial Intelligence: First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Bonsangue, Marcello M. …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    Coalgebraic methods in computer science

    Veröffentlicht 2015
    Weitere beteiligte Personen: “… Bonsangue, Marcello …”
    Tagungsbericht Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Distributed computing techniques: [... Ninth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07) and the Ninth International Conference on Coordination Models and Languages (Coordination'07), were part of the federated conferences on Distributed Computing Techniques (DisCoTec'07), held in Paphos, Cyprus, June 5 - 8, 2007]

    Veröffentlicht 2009
    Weitere beteiligte Personen: “… Bonsangue, Marcello M. …”
    Buch


    Gespeichert in:

Suchwerkzeuge: