Treffer 1 - 2 von 2 für Suche 'Smith, Scott F.', Suchdauer: 0,19s Treffer weiter einschränken
  1. 1
    Partial objects in type theory

    Partial objects in type theory von Smith, Scott F.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal Methods for Open Object-Based Distributed Systems IV IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

    Formal Methods for Open Object-Based Distributed Systems IV IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000...

    Veröffentlicht 2000
    Weitere Verfasser: “… Smith, Scott F. …”
    DE-706
    URL des Eerstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: