Treffer 1 - 18 von 18 für Suche 'Wing, Jeannette M. 1956-', Suchdauer: 0,14s Treffer weiter einschränken
  1. 1
    Data science in context foundations, challenges, opportunities

    Data science in context foundations, challenges, opportunities von Spector, Alfred Z. ca. 20./21. Jh, Norvig, Peter 1956-, Wiggins, Chris ca. 20./21. Jh, Wing, Jeannette M. 1956-

    Veröffentlicht 2023
    BSB01
    BTU01
    FHN01
    TUM01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    What is a formal method?

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

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Larch specification of the library problem

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

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Larch in five easy pieces

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

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A two-tiered approach to specifying programs

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

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Specifying Avalon objects in Larch

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Linearizability a correctness condition for concurrent objects

    Linearizability a correctness condition for concurrent objects von Herlihy, Maurice P., Wing, Jeannette M. 1956-

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Axioms for concurrent objects

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

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Durra a task-level description language ; preliminary reference manual ; V 0.1, Nov. 15, 1986

    Durra a task-level description language ; preliminary reference manual ; V 0.1, Nov. 15, 1986 von Barbacci, Mario R., Wing, Jeannette M. 1956-

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Adding temporal logic to INA JO

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

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Persistance + undoability = transactions

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A library for concurrent objects and their proofs of correctness

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

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Geometric reasoning a new paradigm for processing geometric information

    Geometric reasoning a new paradigm for processing geometric information von Wing, Jeannette M. 1956-, Arbab, Farhad 1952-

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

    FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

    Veröffentlicht 1999
    Weitere Verfasser: “… Wing, Jeannette M. 1956- …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

    FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

    Veröffentlicht 1999
    Weitere Verfasser: “… Wing, Jeannette M. 1956- …”
    TUM01
    UBA01
    UBM01
    UBY01
    UPA01
    Volltext
    Elektronisch Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

    FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

    Veröffentlicht 1999
    Weitere Verfasser: “… Wing, Jeannette M. 1956- …”
    TUM01
    UBA01
    UBM01
    UBY01
    UPA01
    Volltext
    Elektronisch Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

    FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

    Veröffentlicht 1999
    Weitere Verfasser: “… Wing, Jeannette M. 1956- …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

    FM '99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings

    Weitere Verfasser: “… Wing, Jeannette M. 1956- …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: