Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Integrated Formal Methods
Best Price:
Buy Integrated Formal Methods for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 13th InternationalConference 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 andselected 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.
Reviews
Questions & Answers
Hydrogen Energy System
$219.99
konomik der Marke
$69.99
Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web
$39.99
Modern Developments and Applications in Microbeam Analysis
$109.99
Extreme Programming and Agile Processes in Software Engineering
$54.99
Peter van Inwagen
$64.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
New Trade Union Activism
$39.99
Engineering Dynamics
$54.99
2nd IMA Conference on Mathematics of Robotics
$219.99
Politik und Fernsehen
$59.99
Information Technology Auditing
$39.99
Experts in Science and Society
$84.99
Game Theory and Business Applications
$169.99
Partially Homomorphic Encryption
$139.99
Deutschland und das Weltflchtlingsproblem
$59.99
Structural Integrity Assessment of Engineering Components Under Cyclic Contact
$84.99
Biochemical Education
$39.99
Positive Trigonometric Polynomials and Signal Processing Applications
$84.99
The Palgrave Handbook of Music in Comedy Cinema
$279.99
Cancer, Culture and Communication
$84.99
More Than One
$4.46
Nationhood and Politicization of History in School Textbooks
$109.99
Green Marketing and Entrepreneurship
$119.99
Disruption of Protein-Protein Interfaces
$109.99
Gauge Theory and the Early Universe
$39.99
Nonlinear mappings of monotone type
$54.99
Produktionsmanagement mit SAP R/3
$54.99
Storytelling und Leadership
$17.99
Families and Technology
$109.99
Strategic Planning in International Banking
$54.99
Optimization for Industrial Problems
$54.99
Water Resources and Control Processes
$109.99
Pediatric and Adult Hand Fractures
$159.99
Current Practice of Fracture Treatment
$109.99
Entscheidungstheorie
$34.99
Digital Communications
$44.99
History of Rotating Machinery Dynamics
$84.99
Gesellschaftstheorien
$19.99
Root-Galling Disease of Vegetable Plants
$219.99
