Verified Software. Theories, Tools, and Experiments [[electronic resource] ] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / / edited by Ruzica Piskac, Philipp Rümmer |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 345 p. 101 illus., 10 illus. in color.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer system failures Special purpose computers Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters System Performance and Evaluation Special Purpose and Application-Based Systems The Computing Profession |
ISBN | 3-030-03592-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466175503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / / edited by Ruzica Piskac, Philipp Rümmer |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 345 p. 101 illus., 10 illus. in color.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer system failures Special purpose computers Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters System Performance and Evaluation Special Purpose and Application-Based Systems The Computing Profession |
ISBN | 3-030-03592-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349389603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|