| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910483550003321 |
|
|
Titolo |
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / / edited by Nadia Polikarpova, Steve Schneider |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXI, 438 p. 109 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 10510 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Compilers (Computer programs) |
Computer science |
Computer engineering |
Computer networks |
Artificial intelligence |
Computers |
Professions |
Software Engineering |
Compilers and Interpreters |
Theory of Computation |
Computer Engineering and Networks |
Artificial Intelligence |
The Computing Profession |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, |
|
|
|
|
|
|
|
|
|
|
concurrency and distributed systems, program verification techniques, formal modeling, and verified software. |
|
|
|
|
|
| |