Runtime Verification [[electronic resource] ] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / / edited by Christian Colombo, Martin Leucker |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 470 p. 113 illus., 42 illus. in color.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Compilers (Computer programs) Electronic digital computers—Evaluation Computer science Computers Professions Machine theory Software Engineering Compilers and Interpreters System Performance and Evaluation Computer Science Logic and Foundations of Programming The Computing Profession Formal Languages and Automata Theory |
ISBN | 3-030-03769-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers. |
Record Nr. | UNISA-996466290203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / / edited by Christian Colombo, Martin Leucker |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 470 p. 113 illus., 42 illus. in color.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Compilers (Computer programs) Electronic digital computers—Evaluation Computer science Computers Professions Machine theory Software Engineering Compilers and Interpreters System Performance and Evaluation Computer Science Logic and Foundations of Programming The Computing Profession Formal Languages and Automata Theory |
ISBN | 3-030-03769-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers. |
Record Nr. | UNINA-9910349393203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|