Treffer 1 – 18 von 18 für Suche 'Abadi, Martín 1963-', Suchdauer: 0,08s 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
    A theory of objects

    A theory of objects von Abadi, Martín 1963-, Cardelli, Luca

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A theory of objects

    A theory of objects von Abadi, Martín 1963-, Cardelli, Luca

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A theory of objects

    A theory of objects von Abadi, Martín 1963-, Cardelli, Luca

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Extensible syntax with lexical scoping

    Extensible syntax with lexical scoping von Cardelli, Luca, Matthes, Florian, Abadi, Martín 1963-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Prudent engineering practice for cryptographic protocols

    Prudent engineering practice for cryptographic protocols von Abadi, Martín 1963-, Needham, Roger

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Formal parametric polymorphism

    Formal parametric polymorphism von Abadi, Martín 1963-, Cardelli, Luca, Curien, Pierre-Louis

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Decidability and expressiveness for first-order logics of probability

    Decidability and expressiveness for first-order logics of probability von Abadi, Martín 1963-, Halpern, Joseph Y. 1953-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Composing specifications

    Composing specifications von Abadi, Martín 1963-, Lamport, Leslie 1941-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A logic of authentication

    A logic of authentication von Burrows, Michael, Abadi, Martín 1963-, Needham, Roger

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    The power of temporal proofs

    The power of temporal proofs von Abadi, Martín 1963-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Nonclausal temporal deduction

    Nonclausal temporal deduction von Abadi, Martín 1963-, Manna, Zohar 1939-2018

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    A theory of objects

    A theory of objects von Abadi, Martín 1963-, Cardelli, Luca

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Conjoining specifications

    Conjoining specifications von Abadi, Martín 1963-, Lamport, Leslie 1941-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    An axiomatization of Lamport's temporal logic of actions

    An axiomatization of Lamport's temporal logic of actions von Abadi, Martín 1963-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    The existence of refinement mappings

    The existence of refinement mappings von Abadi, Martín 1963-, Lamport, Leslie 1941-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    The existence of refinement mappings

    The existence of refinement mappings von Abadi, Martín 1963-, Lamport, Leslie 1941-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    The power of temporal proofs

    The power of temporal proofs von Abadi, Martín 1963-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Temporal-logic theorem proving

    Temporal-logic theorem proving von Abadi, Martín 1963-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: