Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Integrated Formal Methods

Integrated Formal Methods

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319336923
Condition
New
Product Description

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies.

Available Colors
Available Sizes
1 Offer Price Range: $69.99 - $69.99
BEST PRICE

Single Product Purchase

$69.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$69.99 $69.99

$69.99
See Site In stock Visit Store

Similar Products

Marina Carr

$69.99

Moderne Mythen der Medizin

$69.99

National Football League Strategies

$39.99

Arabian Nights In English Literature

$24.99

Spinal Cord Stimulation II

$129.00

Monarch Butterflies

$3.71

Therapie mit Gallopamil

$54.99

Unternehmungsberichterstattung zur Fundierung von Anteilseignerentscheidungen

$69.99

Der berforderte Abiturient im Fach Deutsch

$64.99

Strategische Kooperationsnetzwerke

$59.99

Quantum Statistics of Charged Particle Systems

$39.99

Arid Dune Ecosystems

$219.99

Max Weber's Theory of the Modern State

$54.99

Agreeable News from Persia

$219.99

Future Hero #2

$5.99

Stable Processes and Related Topics

$39.99

Ethics of Socioeconomics

$59.99

Sex and Ethics in Spanish Cinema

$39.99

Atlas of Robotic Upper Gastrointestinal Surgery

$179.99

Selected Writings of Jean Jaurs

$109.99

Enabling Machine Learning Applications in Data Science

$169.00

Die Polizei und ihre Untersttzung aus der Luft

$59.99

Problem Solving Handbook in Computational Biology and Bioinformatics

$84.99

Digitalisation, Sustainability, and the Banking and Capital Markets Union

$199.99

Microbial Reactions

$84.99

Contributions to the History of Indian Mathematics

$56.00

Theorie des schmalen asymmetrisch angeregten Ringschlitzes. Untersuchungen der Strahlungseigenschaft

$59.99

Konflikte im Betrieb

$49.99

Opportunistic Infections

$169.99

Springer Tracts in Modern Physics 28

$54.99

Risk and Asset Allocation

$74.99

Pulse Code Modulation Techniques

$169.99

Neurologie fr Praktiker

$29.99

Entzifferung Verschollener Schriften und Sprachen

$29.99

Statistical Modeling of the National Assessment of Educational Progress

$39.99

Introduction to Mechanics and Symmetry

$109.99

Economic and Financial Market Behaviour

$139.99

Arithmetic L-Functions and Differential Geometric Methods

$149.00

Summa summarum

$44.99

Advances in Applied Nonlinear Dynamics, Vibration and Control -2021

$259.00