Integrated Formal Methods Image close
Integrated Formal Methods
Integrated Formal Methods
Show Hide Adult Content
Integrated Formal Methods close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$135.99
RRP:
$149.95 save $13.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Programming and Software Engineering

See all products in this series

Intelligent Tutoring Systems
$274.99
$275.95
Intelligent Tutoring Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$131.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$173.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software: Theories, Tools and Experiments
$135.99
Verified Software: Theories, Tools and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
On the Move to Meaningful Internet Systems. OTM 2018 Conferences Save $90
$135.99
$226.95
On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods: Foundations and Applications
$167.99
Formal Methods: Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Generative and Transformational Techniques in Software Engineering IV
$138.99
Generative and Transformational Techniques in Software Engineering IV
Paperback / softback
Available - Usually ships in 3-4 weeks
Architecting Dependable Systems V Save $14
$136.99
$151.95
Architecting Dependable Systems V
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$170.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation Save $22
$135.99
$158.95
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
$238.99
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods Save $31
$135.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Web Services
$170.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Models for Cyber Situation Awareness
$146.99
Theory and Models for Cyber Situation Awareness
Paperback / softback
Available - Usually ships in 3-4 weeks
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
$146.99
OpenSHMEM and Related Technologies. Big Compute and Big Data...
Paperback / softback
Available - Usually ships in 3-4 weeks
Runtime Verification Save $26
$140.99
$167.95
Runtime Verification
Paperback / softback
Available - Usually ships in 3-4 weeks

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..
Release date Australia
August 27th, 2017
Contributors
  • Edited by Nadia Polikarpova
  • Edited by Steve Schneider
Pages
438
Edition
1st ed. 2017
Audience
  • Professional & Vocational
Illustrations
109 Illustrations, black and white; XXI, 438 p. 109 illus.
ISBN-13
9783319668444
Product ID
26873977

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computing: general
Books >
Computers & Internet >
Computer hardware
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence