E-book
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Record details
- ISBN: 9789491216954
- Physical Description: XVII, 149 p. 13 illus. online resource.
- Publisher: Paris : 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. |
