Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

FM 2016: Formal Methods

Best Price (Coupon Required):
Buy FM 2016: Formal Methods for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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

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

Product Details

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

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Broken Genius

Broken Genius

$79.99
Information Systems in the WWW Environment

Information Systems in the WWW Environment

$119.00
Virtual Prototyping

Virtual Prototyping

$219.99
Information Technology for Management

Information Technology for Management

$39.99
Molecules and Their Spectroscopic Properties

Molecules and Their Spectroscopic Properties

$109.99
Anstze zur Bilanzierung des staatlichen Straeninfrastrukturvermgens

Anstze zur Bilanzierung des staatlichen Straeninfrastrukturvermgens

$64.99
China as a Nuclear Power in World Politics

China as a Nuclear Power in World Politics

$39.99
Mathe lernen nach dem IntraActPlus-Konzept

Mathe lernen nach dem IntraActPlus-Konzept

$34.99
Relativistic Fluid Dynamics

Relativistic Fluid Dynamics

$69.95
High Speed Optical Communications

High Speed Optical Communications

$219.99
Die Kirchen und die Politik

Die Kirchen und die Politik

$69.99
Advances in Solution Chemistry

Advances in Solution Chemistry

$54.99
From Molecule to Men

From Molecule to Men

$109.99
Advanced Visual Interfaces. Supporting Artificial Intelligence and Big Data Applications

Advanced Visual Interfaces. Supporting Artificial Intelligence and Big Data Applications

$84.99
Produkt-Compliance

Produkt-Compliance

$44.99
Translating Maternal Violence

Translating Maternal Violence

$69.99
The Challenge for Japanese Multinationals

The Challenge for Japanese Multinationals

$84.99
Party Finance and Political Corruption

Party Finance and Political Corruption

$39.99
Operante Lernmethoden im Unterricht

Operante Lernmethoden im Unterricht

$69.99
Case Absorption and WH-Agreement

Case Absorption and WH-Agreement

$109.99
Das Raumsehvermgen im Unterdruck

Das Raumsehvermgen im Unterdruck

$54.99
Managerialism for Economic Development

Managerialism for Economic Development

$39.99
Exploring Regional Responses to a Nuclear Iran

Exploring Regional Responses to a Nuclear Iran

$39.99
The Commonwealth Secretariat and the Contemporary Commonwealth

The Commonwealth Secretariat and the Contemporary Commonwealth

$59.99
Understanding Child Sexual Abuse

Understanding Child Sexual Abuse

$54.99
Twelfth Conference of the International Bar Association

Twelfth Conference of the International Bar Association

$54.99
Forecasting and Assessing Risk of Individual Electricity Peaks

Forecasting and Assessing Risk of Individual Electricity Peaks

$24.99
Gedanken ber die Seele

Gedanken ber die Seele

$59.99
Introduction to Nonextensive Statistical Mechanics

Introduction to Nonextensive Statistical Mechanics

$99.99
Phase Equilibria in Metamorphic Rocks

Phase Equilibria in Metamorphic Rocks

$74.99
Protein Tyrosine Phosphatase Control of Metabolism

Protein Tyrosine Phosphatase Control of Metabolism

$129.00
Untersuchungen ber Durchlaufzeiten in Betrieben der metallverarbeitenden Industrie mit Einzel- und

Untersuchungen ber Durchlaufzeiten in Betrieben der metallverarbeitenden Industrie mit Einzel- und

$59.99
Biologische Daten fr den Kinderarzt

Biologische Daten fr den Kinderarzt

$44.99
Decision Support Systems VI - Addressing Sustainability and Societal Challenges

Decision Support Systems VI - Addressing Sustainability and Societal Challenges

$39.99
The Biosynthesis of Secondary Metabolites

The Biosynthesis of Secondary Metabolites

$109.99
Feliz cumpleaos, Minina Mala

Feliz cumpleaos, Minina Mala

$3.74
Genetic control of self-incompatibility and reproductive development in flowering plants

Genetic control of self-incompatibility and reproductive development in flowering plants

$329.99
E-Infrastructure and E-Services for Developing Countries

E-Infrastructure and E-Services for Developing Countries

$54.99
Female Football Fans

Female Football Fans

$54.99
Kritische Auseinandersetzung mit den Methoden und Modellen zur Bewertung von Verkehrsinvestitionen

Kritische Auseinandersetzung mit den Methoden und Modellen zur Bewertung von Verkehrsinvestitionen

$59.99
previous
next