Treffer 1 – 4 von 4 für Suche 'Stavridou, Victoria', Suchdauer: 0,04s 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
    The formal specification of safety requirements for the storage of explosives

    The formal specification of safety requirements for the storage of explosives von Mukherjee, Paul, Stavridou, Victoria

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Formal specification and verification of hardware a comparative case study

    Formal specification and verification of hardware a comparative case study von Stavridou, Victoria, Barringer, Howard, Edwards, Dough A.

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Formal methods in circuit design

    Formal methods in circuit design von Stavridou, Victoria

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Theorem provers in circuit design proceedings of the IFIP TC 10 WG 10 2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22 - 24 June 1992

    Theorem provers in circuit design proceedings of the IFIP TC 10 WG 10 2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, Th...

    Veröffentlicht 1992
    Weitere Verfasser: “… Stavridou, Victoria …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: