Treffer 1 – 2 von 2 für Suche 'Cassez, Franck 1967-', Suchdauer: 0,02s 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
    Automated technology for verification and analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014 ; proceedings

    Automated technology for verification and analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014 ; proceedings

    Veröffentlicht 2014
    Weitere Verfasser: “… Cassez, Franck 1967- …”
    Beschreibung
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings

    Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings

    Veröffentlicht 2014
    Weitere Verfasser: “… Cassez, Franck 1967- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: