Search Results - "Foundations of computing"

Suggested Topics within your search.
  • 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
    “…Foundations of computing…”
    An electronic book accessible through the World Wide Web; click for information

Search Tools: