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

    Concepts, algorithms and tools for model checking / by Katoen, Joost-Pieter

    Published 1999
    Book
  2. 2

    Programming : the derivation of algorithms / by Kaldewaij, Anne

    Published 1990
    Book