Suchergebnisse - Bradfield, Julian

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

    Verifying temporal properties of systems with applications to petri nets
    von Bradfield, Julian 1964-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Verifying temporal properties of systems
    von Bradfield, Julian 1964-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    An introduction to the writing systems of middle-earth: combined edition, including tengwar, runes and numerals
    von Doughan, David, Bradfield, Julian

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    An effective tableau system for the linear time mu calculus
    von Bradfield, Julian 1964-, Esparza, Javier 1964-, Mader, Angelika

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Verifying temporal properties of systems
    von Bradfield, Julian C.

    Veröffentlicht 1992
    Buch


    Gespeichert in:

Suchwerkzeuge: