Vai al contenuto principale della pagina

Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: RV (Conference) (6th : 2015 : Vienna, Austria)
Titolo: Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.).
Link to work: Runtime verification Visualizza cluster
Pubblicazione: Cham : Springer, 2015
Estensione: 1 online resource (xiv, 396 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 ; 9333. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Genere/Forma: Conference papers and proceedings
Classificazione LOC: QA76.76.V47
Creatori/Collaboratori: Bartocci, Ezio, (Computer scientist), [editor.]
Majumdar, Rupak, [editor.]
Note generali: International conference proceedings.
Includes author index.
Restrizioni accesso: Access restricted to authorized users and institutions.
Collana: Lecture notes in computer science, 0302-9743 ; 9333
LNCS sublibrary. SL 2, Programming and software engineering
Varianti del titolo: RV 2015
ISBN: 9783319238203
3319238205
9783319238197
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 7164830
Localizzazioni e accesso elettronico http://link.springer.com/10.1007/978-3-319-23820-3
Lo trovi qui: University of Alberta / NEOS Library Consortium
Item: Permalink to OPAC