E-book
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Record details
- ISBN: 9789491216954
-
Physical Description:
electronic
electronic resource
access
remote
XVII, 149 p. 13 illus. online resource. - Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013.
Search for related items by subject
| Subject: | Computer science Computer software Logic design Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
