Treffer 1 – 5 von 5 für Suche 'Hoare, C. A. R. (Charles Antony Richard), 1934-', Suchdauer: 0,07s 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
    Software and systems safety : specification and verification /

    Software and systems safety : specification and verification /

    Veröffentlicht 2011
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Edsger Wybe Dijkstra : his life, work, and legacy /

    Edsger Wybe Dijkstra : his life, work, and legacy /

    Veröffentlicht 2022
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Software and systems safety : specification and verification /

    Software and systems safety : specification and verification /

    Veröffentlicht 2011
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Engineering methods and tools for software safety and security /

    Engineering methods and tools for software safety and security /

    Veröffentlicht 2009
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Software system reliability and security /

    Software system reliability and security /

    Veröffentlicht 2007
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: