1.

Record Nr.

UALBERTA7960786

Autore

[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.).

Pubbl/distr/stampa

Berlin : Springer, 2010

ISBN

9783642166129

3642166121

9783642166112

3642166113

Descrizione fisica

1 online resource (xiii, 492 pages) : illustrations.

Collana

Lecture notes in computer science, 0302-9743 ; 6418

LNCS sublibrary. SL 2, Programming and software engineering

Classificazione

54.52

Altri autori (Persone)

Barringer, Howard, 1951-

Disciplina

005.1/4

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.