Verwandte Artikel zu Model-Checking Based Data Retrieval: An Application...

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

Quintarelli, Elisa

 
9783540209713: Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data (Lecture Notes in Computer Science, 2917, Band 2917)
Softcover
ISBN 10: 3540209719 ISBN 13: 9783540209713
Verlag: Springer, 2008

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540209719
ISBN 13 
9783540209713
Einband
Taschenbuch
Anzahl der Seiten
152
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland