Vai al contenuto principale della pagina

Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / Christian Colombo, Martin Leucker (eds.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: RV (Conference) (18th : 2018 : Limassol, Cyprus)
Titolo: Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / Christian Colombo, Martin Leucker (eds.).
Link to work: Runtime verification Visualizza cluster
Pubblicazione: Cham, Switzerland : Springer, 2018
Estensione: 1 online resource (xi, 470 pages) : illustrations (some color).
Tipo formato: computer
Tipo contenuto: text
Tipo supporto: online resource
Disciplina: 005.1/4
Titolo uniforme di collana: Lecture notes in computer science ; 11237.
LNCS sublibrary. SL 2, Programming and software engineering.
Classificazione LOC: QA76.76.V47
Creatori/Collaboratori: Colombo, Christian, [editor.]
Leucker, Martin, [editor.]
Note generali: International conference proceedings.
Includes author index.
Restrizioni accesso: Access restricted to authorized users and institutions.
Collana: Lecture notes in computer science ; 11237
LNCS sublibrary. SL 2, Programming and software engineering
Varianti del titolo: RV 2018
ISBN: 9783030037697
303003769X
9783030037680
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 8404094
Localizzazioni e accesso elettronico http://link.springer.com/10.1007/978-3-030-03769-7
Lo trovi qui: University of Alberta / NEOS Library Consortium
Item: Permalink to OPAC