Suchergebnisse - Danelutto, Marco

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

    Timed semantics tools for design and validation of language oriented architectures
    von Danelutto, Marco, Vanneschi, Marco

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Multi-style multi-grain parallelism exploitation on a massively parallel architecture
    von Danelutto, Marco, Vanneschi, Marco

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    TLWT, a temporal logic for concurrent programs
    von Danelutto, Marco, Masini, Andrea

    Veröffentlicht 1991
    Buch


    Gespeichert in:

Suchwerkzeuge: