Showing 1 - 4 results of 4 for search '', query time: 0.01s Refine Results
  1. 1

    Process algebra and probabilistic methods : perfomance modeling and verification /

    Published 2002
    Conference Proceeding Book
  2. 2

    Cálculo de programas / by Blanco, Javier Oscar, 1968-

    Published 2008
    Book
  3. 3

    Programming : the derivation of algorithms / by Kaldewaij, Anne

    Published 1990
    Book
  4. 4

    Application and theory of Petri Nets 1996 /

    Published 1996
    Conference Proceeding Book