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

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Applied mathematics  
Mathematics for scientists & engineers

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$140.99
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 $35.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Using and Improving OpenMP for Devices, Tasks, and More
$135.99
Using and Improving OpenMP for Devices, Tasks, and More
Paperback / softback
Available - Usually ships in 3-4 weeks
Tests and Proofs
$136.99
Tests and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems Save $27
$138.99
$166.95
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Analytical and Stochastic Modelling Techniques and Applications
$135.99
Analytical and Stochastic Modelling Techniques and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security
$160.99
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation Save $21
$136.99
$158.95
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Search-Based Software Engineering
$136.99
Search-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$137.99
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
$242.99
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Search Based Software Engineering
$137.99
Search Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods: Foundations and Applications
$135.99
Formal Methods: Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software: Theories, Tools and Experiments
$136.99
Verified Software: Theories, Tools and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$137.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Rapid Integration of Software Engineering Techniques Save $22
$135.99
$158.95
Rapid Integration of Software Engineering Techniques
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing Save $66
$147.99
$214.95
Service-Oriented Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Approaches to Software Testing Save $22
$135.99
$158.95
Formal Approaches to Software Testing
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.
Release date Australia
May 24th, 2013
Audience
  • Professional & Vocational
Contributors
  • Edited by Einar Broch Johnsen
  • Edited by Luigia Petre
Illustrations
95 Illustrations, black and white; XIV, 443 p. 95 illus.
Pages
443
Dimensions
156x234x23
ISBN-13
9783642386121
Product ID
21401410

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 >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Mathematics for scientists & engineers
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists