1 option
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / edited by Nadia Polikarpova, Steve Schneider.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 10510
- Programming and Software Engineering, 2945-9168 ; 10510
- Language:
- English
- Subjects (All):
- 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.
- Local Subjects:
- Software Engineering.
- Compilers and Interpreters.
- Theory of Computation.
- Computer Engineering and Networks.
- Artificial Intelligence.
- The Computing Profession.
- Physical Description:
- 1 online resource (XXI, 438 pages) : 109 illustrations
- Edition:
- 1st ed. 2017.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2017.
- System Details:
- text file PDF
- Summary:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-66845-1
- 9783319668451
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.