Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
Advances In Temporal Logic
This volume presents a number of articles from leading researchers containing results in such areas as: pure temporal/modal logic; specification and verifica... »
This volume presents a number of articles from leading researchers containing results in such areas as: pure temporal/modal logic; specification and verifica... »
Idea box
