Treffer 1 – 10 von 10 für Suche 'Talcott, Carolyn L.', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    An NQTHM mechanization of "An exercise in the verification of multi-process programs"

    An NQTHM mechanization of "An exercise in the verification of multi-process programs" von Nagayama, Misao, Talcott, Carolyn L.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A simplifier for untyped lambda expressions

    A simplifier for untyped lambda expressions von Galbiati, Louis, Talcott, Carolyn L.

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    String-functional semantics for formal verification of synchronous circuits

    String-functional semantics for formal verification of synchronous circuits von Bronstein, Alexandre, Talcott, Carolyn L.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    LISP Programming and proving

    LISP Programming and proving von McCarthy, John 1927-2011, Talcott, Carolyn L.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A sound and complete axiomatization of operational equivalence between programs with memory

    A sound and complete axiomatization of operational equivalence between programs with memory von Mason, Ian 1944-, Talcott, Carolyn L.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Programming and proving with function and control abstractions

    Programming and proving with function and control abstractions von Talcott, Carolyn L.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The essence of rum theory of the intensional and extensional aspects of Lisp-type computation

    The essence of rum theory of the intensional and extensional aspects of Lisp-type computation von Talcott, Carolyn L.

    Veröffentlicht 1985
    Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The essence of Rum a model of computation theory and application to LISP-like systems

    The essence of Rum a model of computation theory and application to LISP-like systems von Talcott, Carolyn L.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    LISP Programming and proving

    LISP Programming and proving von McCarthy, John 1927-2011, Talcott, Carolyn L.

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    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:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: