Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings - Lecture Notes in Computer Science -  - Books - Springer International Publishing AG - 9783319668444 - August 27, 2017
In case cover and title do not match, the title is correct

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings - Lecture Notes in Computer Science 1st ed. 2017 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16
Add to your iMusic wish list

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.


438 pages, 109 Illustrations, black and white; XXI, 438 p. 109 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 27, 2017
ISBN13 9783319668444
Publishers Springer International Publishing AG
Pages 438
Dimensions 150 × 220 × 10 mm   ·   6.91 kg
Language German  
Editor Polikarpova, Nadia
Editor Schneider, Steve

Mere med samme udgiver