Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / / edited by Nadia Polikarpova, Steve Schneider
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / / edited by Nadia Polikarpova, Steve Schneider
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Edizione: | 1st ed. 2017. |
| Descrizione fisica: | 1 online resource (XXI, 438 p. 109 illus.) |
| Disciplina: | 004.0151 |
| Soggetto topico: | 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 | |
| Persona (resp. second.): | PolikarpovaNadia |
| SchneiderSteve | |
| 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. |
| Titolo autorizzato: | Integrated Formal Methods |
| ISBN: | 3-319-66845-5 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910483550003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering, . 2945-9168 ; ; 10510