Vai al contenuto principale della pagina

Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / Borzoo Bonakdarpour, Scott A. Smolka (eds.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: RV (Conference) (5th : 2014 : Toronto, Ontario)
Titolo: Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / Borzoo Bonakdarpour, Scott A. Smolka (eds.).
Link to work: Runtime verification Visualizza cluster
Pubblicazione: Cham : Springer, 2014
Estensione: 1 online resource (xviii, 358 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 ; 8734 0302-9743.
LNCS sublibrary. SL 2, Programming and software engineering.
Classificazione LOC: QA76.76.V47
Creatori/Collaboratori: Bonakdarpour, Borzoo, [editor.]
Smolka, Scott A., [editor.]
Accesso convegno: RV (Conference)
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 ; 8734
LNCS sublibrary. SL 2, Programming and software engineering
Varianti del titolo: RV 2014
ISBN: 9783319111643 (electronic bk.)
3319111647 (electronic bk.)
9783319111636
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 6720543
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/978-3-319-11164-3
Lo trovi qui: University of Alberta / NEOS Library Consortium
Item: Permalink to OPAC