Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data - Tapa blanda

Quintarelli, Elisa

 
9783662176641: Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data

Sinopsis

1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion.

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783540209713: Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data: 2917 (Lecture Notes in Computer Science, 2917)

Edición Destacada

ISBN 10:  3540209719 ISBN 13:  9783540209713
Editorial: Springer, 2008
Tapa blanda