|
|
|
|
| LEADER |
01334nam a2200349Ia 4500 |
| 001 |
30750 |
| 003 |
CaPaEBR |
| 005 |
201632015147 |
| 006 |
m o u |
| 007 |
cr cn||||||||| |
| 008 |
130424s2013 fr a sb 001 0 eng d |
| 010 |
# |
# |
|z 2013938748
|
| 020 |
# |
# |
|z 9789491216947
|
| 020 |
# |
# |
|z 9789491216954 (ebook)
|
| 035 |
# |
# |
|a (OCoLC)855676470
|
| 040 |
# |
# |
|a CaPaEBR
|c CaPaEBR
|
| 050 |
1 |
4 |
|a QA76.27
|b .M64 2013eb
|
| 100 |
1 |
# |
|a Mogavero, Fabio.
|
| 245 |
1 |
0 |
|a Logics in computer science
|b a study on extensions of temporal and strategic logics /
|c Fabio Mogavero.
|h [electronic resource] :
|
| 260 |
# |
# |
|a Paris :
|b Atlantis Press,
|c c2013.
|
| 300 |
# |
# |
|a 1 online resource
|
| 490 |
0 |
# |
|a Atlantis studies in computing ;
|v vol. 3
|
| 504 |
# |
# |
|a Includes bibliographical references and index.
|
| 533 |
# |
# |
|a Electronic reproduction.
|b Palo Alto, Calif. :
|c ebrary,
|d 2013.
|n Available via World Wide Web.
|n Access may be limited to ebrary affiliated libraries.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Computer software.
|
| 650 |
# |
0 |
|a Logic design.
|
| 655 |
# |
7 |
|a Electronic books.
|2 local
|
| 710 |
2 |
# |
|a ebrary, Inc.
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://site.ebrary.com/lib/uitm/Doc?id=10740076
|z View fulltext via EzAccess
|
| 980 |
# |
# |
|a 150329
|b 109
|c USD
|e 109
|f iGroup 43 Titles 3-29-15
|g 1
|