Treffer 1 – 4 von 4 für Suche 'Arkko, Jari', Suchdauer: 0,03s 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 algebraic specification language

    An algebraic specification language von Arkko, Jari

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Test generation from LOTOS specifications with data-value communication

    Test generation from LOTOS specifications with data-value communication von Arkko, Jari

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A tool for testing algebraic specifications and their implementations

    A tool for testing algebraic specifications and their implementations von Arkko, Jari

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A LOTOS testing tool

    A LOTOS testing tool von Arkko, Jari

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: