Model-Checking Based Data Retrieval - Softcover

Quintarelli, Elisa

 
9783662176641: Model-Checking Based Data Retrieval
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
Taschenbuch
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

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3540209719 ISBN 13:  9783540209713
Verlag: Springer, 2008
Softcover