Quintarelli, Elisa: Model checking based data retrieval
: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - XVI, 134 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2917)
ISBN 978-3-540-20971-3 / 3-540-20971-9 kart. : EUR 40.66 (freier Pr.), sfr 69.50
Literaturverz. S. 129 - 134
Quelle: DNB Verlagsmeldungen
Model checking based data retrieval
: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2917)
ISBN 978-3-540-24603-9
Lizenzpflichtig
Quelle: DNB