| Type |  Book |
| ชื่อเรื่อง | Model-checking based data retrieval [electronic resource] : an application to semistructured and temporal data / Elisa Quintarelli |
| ผู้แต่ง | Quintarelli, Elisa |
| ISBN | 9783540246039 |
| พิมพลักษณ์ | Berlin ; New York : Springer, c2004 |
| รูปเล่ม | 1 online resource (xvi, 134 p.) : ill |
| ลิงค์ | Connect to electronic resource |
| หัวเรื่อง | Information storage and retrieval systems |
| | Query languages (Computer science) |