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

Alle Exemplare dieser ISBN-Ausgabe

0 Gebraucht

1 Neu

Von EUR 52,36

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: Nicht verf�gbar
Verantwortliche Person: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland