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

Basic Sciences in Anesthesia

$199.99

Modellversuche an Zyklonen

$59.99

Biological Invasions in Marine Ecosystems

$219.99

Combustion in High-Speed Flows

$259.00

Beyond Leadership

$129.99

Decision-Oriented Educational Research

$109.99

Strmt die Welt in unseren Kpfen?

$69.99

Mathematik fr Physiker

$49.99

The Euro: Consequences for the Consumer and the Citizen

$129.00

Reise nach Java, Formosa, Vorder-Indien und Ceylon, 16591668

$49.99

Large-Scale PDE-Constrained Optimization

$179.99

Advances in Human Factors, Business Management and Leadership

$219.99

Modelling Distributed Systems

$54.99

Dienstleistungsmanagement im Krankenhaus II

$159.99

Internationalization of Higher Education

$54.99

Women and the Media in Asia

$54.99

Modern Agriculture and the Environment

$39.99

Energy Relations in the Euro-Mediterranean

$84.99

Approaches to Peacebuilding

$39.99

Behavioral Consultation in Applied Settings

$199.99

Schooling and the Quality of Human Capital

$54.99

Image and Signal Processing for Networked eHealth Applications

$29.99

Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applica

$169.00

Collected papers on spiders of Wladyslaw Kulczyski

$54.99

Poison Control Entgiftungsprobleme

$59.99

Arbeitspolitik

$69.99

Recent Advances in Automation, Robotics and Measuring Techniques

$219.99

Fortgeschrittene Programmiertechniken in Turbo Pascal

$59.99

Practical Applications of Intelligent Systems

$389.00

Rethinking the Clinical Gaze

$54.99

Environmental Impact Assessment

$219.99

Building and Using Binoscopes

$39.99

Quaternary of Scotland

$169.00

Latency Optimization in Interactive Multimedia Streaming

$54.99

Chemie im Biologiestudium

$37.99

Mathematical Control and Numerical Applications

$159.99

Energietransitionen

$89.99

How Border Peripheries are Changing the Nature of Arab States

$129.99

The Palgrave Handbook of Prison Design

$299.99

Studies in Process Philosophy I

$54.99