gefundene Verfasser WING, M.


Treffer 1 - 20 von 165 für Suche 'WING, M.', Suchdauer: 1,20s Treffer weiter einschränken
  1. 1
  2. 2
  3. 3

    Straits Chinese silver a collector's guide von Ho, Wing M.

    Veröffentlicht 1984
    Buch
  4. 4

    Persistance + undoability = transactions von Nettles, Scott M., Nettles, Scott M., Wing, Jeannette M. 1956-

    Veröffentlicht 1991
    Buch
  5. 5
  6. 6

    What is a formal method? von Wing, Jeannette M. 1956-

    Veröffentlicht 1989
    Buch
  7. 7

    A Larch specification of the library problem von Wing, Jeannette M. 1956-

    Veröffentlicht 1986
    Buch
  8. 8

    Larch in five easy pieces von Guttag, J. V., Horning, James J., Wing, Jeannette M. 1956-

    Veröffentlicht 1985
    Buch
  9. 9
  10. 10

    A two-tiered approach to specifying programs von Wing, Jeannette M. 1956-

    Veröffentlicht 1983
    Buch
  11. 11
  12. 12

    Specifying Avalon objects in Larch von Wing, Jeannette M. 1956-

    Veröffentlicht 1988
    Buch
  13. 13
  14. 14
  15. 15

    Axioms for concurrent objects von Herlihy, Maurice P., Wing, Jeannette M. 1956-

    Veröffentlicht 1986
    Buch
  16. 16

    Adding temporal logic to INA JO von Wing, Jeannette M. 1956-, Nixon, Mark R.

    Veröffentlicht 1985
    Buch
  17. 17

    Dairy cattle management principles and applications von Wing, James M.

    Veröffentlicht 1963
    Buch
  18. 18
  19. 19
  20. 20

    A library for concurrent objects and their proofs of correctness von Wing, Jeannette M. 1956-

    Veröffentlicht 1990
    Buch