Power Search
Low Price Guarantee
We Take School POs
Integrated Formal Methods: 13th International Conference, Ifm 2017, Turin, Italy, September 20-22, 2017, Proceedings 2017 Edition
Contributor(s): Polikarpova, Nadia (Editor), Schneider, Steve (Editor)

View larger image

 ISBN: 3319668447     ISBN-13: 9783319668444
Publisher: Springer
OUR PRICE: $52.24  

Binding Type: Paperback
Published: August 2017
Qty:
Additional Information
BISAC Categories:
- Computers | Software Development & Engineering - General
- Computers | Compilers
- Computers | Programming Languages - General
Dewey: 005.1
Physical Information: 0.93" H x 6.14" W x 9.21" L (1.41 lbs) 438 pages
 
Descriptions, Reviews, Etc.
Publisher Description:
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..
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!