Tomeki

Explore Books on
logique programme

1-2 of 2 Books

View First-Order Dynamic Logic By D. Harel
Cover of First-Order Dynamic Logic by d. harel

First-Order Dynamic Logic

By D. Harel

View Logics of programs By Rohit Parikh
Cover of Logics of programs by rohit parikh

Logics of programs

By Rohit Parikh