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

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

Quintarelli, Elisa

 
9783662176641: Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data
Softcover
ISBN 10: 3662176645 ISBN 13: 9783662176641
Verlag: Springer, 2014

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
2014
Sprache
Englisch
ISBN 10 
3662176645
ISBN 13 
9783662176641
Einband
Tapa blanda
Anzahl der Seiten
152
Kontakt zum Hersteller
ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Deutschland