Skip to main content

CURRENTLY SOLD OUT

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings by Steve Schneider, Nadia Polikarpova (Paperback, 2017)

About this product

About this product

Product Information

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..

Product Identifiers

Publisher
Springer International Publishing Ag
ISBN-13
9783319668444
eBay Product ID (ePID)
16046465757

Product Key Features

Author
Steve Schneider, Nadia Polikarpova
Publication Name
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Format
Paperback
Language
English
Subject
Engineering & Technology, Computer Science
Publication Year
2017
Type
Textbook
Number of Pages
438 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
10510
Item Weight
6905g

Additional Product Features

Series Title
Programming and Software Engineering
Country/Region of Manufacture
Switzerland
Editor
Nadia Polikarpova, Steve Schneider

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $101.98 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.60
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $121.83
Michael Nehls The Indoctrinated Brain (Hardback) (US IMPORT)
AU $59.80
Trending at AU $63.46
Bill Perkins Die With Zero (Paperback)
AU $29.80
Trending at AU $32.49
Havard's Nursing Guide to Drugs
AU $75.00
Trending at AU $76.54
Nelson Senior Maths 11 Mathematics Essential Student Book with 1 Access Code for
AU $84.49
Trending at AU $85.68

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like