Vai al contenuto principale della pagina

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / Howard Barringer [and others] (eds.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: RV (Conference) (1st : 2010 : San Ġiljan, Malta)
Titolo: Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / Howard Barringer [and others] (eds.).
Link to work: Runtime verification Visualizza cluster
Pubblicazione: Berlin : Springer, 2010
Estensione: 1 online resource (xiii, 492 pages) : illustrations.
Tipo formato: computer
Tipo contenuto: text
Tipo supporto: online resource
Disciplina: 005.1/4
Titolo uniforme di collana: Lecture notes in computer science ; 6418. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Classificazione: 54.52
Classificazione LOC: QA76.76.V47
Creatori/Collaboratori: Barringer, Howard, , 1951-
Contenuto supplementare: Includes bibliographical references and index.
Restrizioni accesso: Access restricted to authorized users and institutions.
Collana: Lecture notes in computer science, 0302-9743 ; 6418
LNCS sublibrary. SL 2, Programming and software engineering
Varianti del titolo: RV 2010
ISBN: 9783642166129
3642166121
9783642166112
3642166113
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 7960786
Localizzazioni e accesso elettronico http://link.springer.com/10.1007/978-3-642-16612-9
Lo trovi qui: University of Alberta / NEOS Library Consortium
Item: Permalink to OPAC