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
9783319989372
Condition
New
Product Description

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

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

Single Product Purchase

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

$39.99
See Site In stock Visit Store

Similar Products

Social Reform in Gothic Writing

$39.99

Trusted Systems

$39.99

Adaptive Internal Model Control

$84.99

Theatre of the Real

$109.99

Making Fisheries Management Work

$169.99

Gender-Based Violence

$109.99

Ressourceneinsatzplanung bei Werkstattproduktion

$59.99

Netzwerkpoetiken in der Gegenwartsliteratur

$59.99

konomische Bewertung digitalisierter Gesundheitsdaten

$69.99

The Future of Transportation and Communication

$109.99

Postoperative Imaging of Sports Injuries

$84.99

Studies in Banking Theory, Financial History and Vertical Control

$54.99

Iranian Islam

$39.99

Disordered Vertebral and Rib Morphology in Pudgy Mice

$84.99

The Definitive Guide to SWT and JFace

$39.99

The Environment of Oil

$39.99

Polarization Optics in Telecommunications

$169.00

Excitation Energy and Electron Transfer in Photosynthesis

$39.99

Navigating Uncertainty Using Foresight Intelligence

$79.99

Organisation im Stand-by-Modus

$44.99

ber die dynamische Stabilitt hydraulischer Steuerungen unter Bercksichtigung der Strmungskrfte

$59.99

Werke und Nachla

$89.99

The Rise of Indian Multinationals

$84.99

Decision Making in Soviet Politics

$109.99

Masses of Fundamental Particles

$169.99

Towards Democratic Viability

$84.99

Plant Disease Forecasting Systems

$139.99

Genders in the Life Course

$169.99

The Mazzel Ritual

$109.99

Blake and Conflict

$39.99

The Original Folk and Fairy Tales of the Brothers Grimm - The Complete First Edition by Jacob Grimm

$21.95

Representations of Finite Groups: Local Cohomology and Support

$34.95

Polish Essays in the Methodology of the Social Sciences

$109.99

Transatlantic Diplomacy and the Use of Military Force in the Post-Cold War Era

$39.99

Stochastic Differential Systems

$39.99

Electric Arc Furnace Steelmaking with Submerged Mixed Injection

$129.00

And yet it is heard

$219.99

Denitrification in Soil and Sediment

$219.99

Asymptotic Integration of Differential and Difference Equations

$84.99

Grundkonzepte der Mathematik

$59.99