Treffer: Model-checking based data retrieval
Titel:
Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli
Verantwortlich:
Veröffentlicht:
Berlin [u.a.] : Springer, 2004
Umfang:
XVI, 134 S. : graph. Darst. ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 2917
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturverz. S. 129 - 134
RVK-Notation:
Schlagworte:
ISBN:
3540209719