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
9783642386121
Condition
New
Product 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.

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

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Rookie Read-About Geography-Continents: Australia

$4.46

DermOPix und die Hautchirurgie

$89.99

Contract Analysis and Design for Supply Chains with Stochastic Demand

$39.99

Vegetation Ecology of Socotra

$219.99

Chinas Macroeconomic Outlook

$119.99

Formal Approaches to Software Testing

$54.99

JavaScript for Web Developers

$44.99

Honeypot Frameworks and Their Applications: A New Framework

$64.99

Medien und konomie

$17.99

Schner fremder Klang Wie exotische Musik nach Deutschland kam

$34.99

Das intrathorakale Blutvolumen als hmodynamischer Leitparameter

$69.99

Frege

$219.99

Experimental Methods in Hydraulic Research

$129.00

Fuzzy Logic, Neural Networks, and Evolutionary Computation

$39.99

Magic Tales and Fairy Tale Magic

$99.99

Debating Bad Leadership

$159.99

Der Nahrungsmittelchemiker als Sachverstndiger

$59.99

Promoting Self-Change From Addictive Behaviors

$54.99

Second International Handbook of Educational Leadership and Administration

$429.00

Advanced Combustion and Aerothermal Technologies

$169.99

Seamus Heaney

$39.99

Zin! Zin! Zin! A Violin (Hardcover)

$17.95

Monitoring in Ansthesie und Intensivmedizin

$89.00

Fungi of Antarctica

$169.99

Biomedical Ethics and the Law

$109.99

We Love Our Families (Peppa Pig)

$4.49

Addictive Behaviors in Women

$169.99

Models of Intraurban Residential Relocation

$84.99

Clifford: Clifford the Big Red Dog

$3.71

The Blue Zones Secrets for Living Longer:Lessons From the Healthiest Places on EarthBook Official shopDisney

$32.50

On the Process of Civilisation in Japan

$119.00

Risikokapital und Aktienfinanzierung

$79.99

Is God Real?

$39.99

Narrative and Innovation

$54.99

In Situ Visualization for Computational Science

$99.00

Einfhrung in die mathematische Logik

$49.99

Marvel Comics: Cooking with Deadpool by Marc Sumerak

$29.99

Handbook of Gas Sensor Materials

$169.99

Survey of Chinese History in the Twentieth Century

$89.00

Product-Focused Software Process Improvement

$69.99