Get Free Shipping on orders over $79
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings - Nadia Polikarpova

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

By: Nadia Polikarpova (Editor), Steve Schneider (Editor)

Paperback | 27 August 2017

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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

More in Information Technology General Issue

Doppelganger : A Trip Into the Mirror World - Naomi Klein

RRP $26.99

$22.99

15%
OFF
The Singularity is Nearer : When We Merge with AI - Ray Kurzweil

RRP $26.99

$22.99

15%
OFF
Gilded Rage : Elon Musk and the Radicalization of Silicon Valley - Jacob Silverman
Ethics, Information, and Technology : A Tangled Web - Kip Currier

RRP $110.00

$96.75

12%
OFF
Careless People : A story of where I used to work - Sarah Wynn-Williams

RRP $24.99

$21.75

13%
OFF
The Art of Game Design : A Book of Lenses, Third Edition - Jesse  Schell
Man-Made : How the bias of the past is being built into the future - Tracey Spicer
Superbloom : How Technologies of Connection Tear Us Apart - Nicholas Carr
As If Human : Ethics and Artificial Intelligence - Nigel Shadbolt

RRP $26.95

$22.99

15%
OFF
Think Like a Stoic : The Ancient Path to a Life Well Lived - Ken Mogi
Real-Time Rendering, Fourth Edition - Eric Haines

RRP $183.00

$152.75

17%
OFF
Building a Scalable Data Warehouse with Data Vault 2.0 - Dan Linstedt
Guide to Health Informatics : 3rd Edition - Enrico  Coiera

RRP $141.00

$104.99

26%
OFF