Search Results - Tiuryn, Jerzy

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Dynamic logic [electronic resource]

    Dynamic logic [electronic resource] by Harel, David , 1950-, Kozen, Dexter , 1951-, Tiuryn, Jerzy

    Published 2000
    An electronic book accessible through the World Wide Web; click for information

Search Tools: