Research Catalog
Model-checking based data retrieval : an application to semistructured and temporal data
- Title
- Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.
- Author
- Quintarelli, Elisa
- Publication
- Berlin ; New York : Springer, c2004.
Available Online
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 04-828 | Offsite |
Details
- Description
- xvi, 134 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2917
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [129]-134).
- Additional Formats (note)
- Also available via the World Wide Web.
- Call Number
- JSE 04-828
- ISBN
- 3540209719 (softcover : alk. paper)
- LCCN
- 2004042929
- OCLC
- 54374693
- Author
- Quintarelli, Elisa.
- Title
- Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.
- Imprint
- Berlin ; New York : Springer, c2004.
- Series
- Lecture notes in computer science, 0302-9743 ; 2917
- Bibliography
- Includes bibliographical references (p. [129]-134).
- Additional Formats
- Also available via the World Wide Web.
- Connect to:
- Research Call Number
- JSE 04-828