Suchergebnisse - Sanders, Beverly A.

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

    Eliminating the substitution axiom from UNITY logic
    von Sanders, Beverly A.

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Stepwise refinement of mixed specifications of concurrent programs
    von Sanders, Beverly A.

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Patterns for parallel programming
    von Mattson, Timothy G., Sanders, Beverly A., Massingill, Berna L.

    Veröffentlicht 2005
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A predicate transformer approach to knowledge and knowledge-based protocols
    von Sanders, Beverly A.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Patterns for parallel programming
    von Mattson, Timothy G., Sanders, Beverly A., Massingill, Berna L.

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Conjunctive predicate transformers for reasoning about concurrent computation
    von Chandy, K. Mani, Sanders, Beverly A.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Patterns for Parallel Programming
    von Mattson, Timothy G. 1958-, Massingill, Berna L., Sanders, Beverly A.

    Veröffentlicht 2004
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Patterns for parallel programming
    von Mattson, Timothy G., Sanders, Beverly A., Massingill, Berna L.

    Veröffentlicht 2010
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Patterns for parallel programming
    von Mattson, Timothy G., Sanders, Beverly A., Massingill, Berna L.

    Veröffentlicht 2007
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Conjunctive predicate: transformers for reasoning about concurrent computation
    von Chandy, K. M., Sanders, Beverly A.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Patterns for parallel programming
    von Mattson, Timothy G., Sanders, Beverly A., Massingill, Berna L.

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: