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

Formal Methods and Software Engineering

Best Price (Coupon Required):
Buy Formal Methods and Software Engineering 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
9783319478456
Condition
New
Product Description

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verication and validation, software engineering, formal specication and modeling, software security, and software reliability.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Plasma Astrophysics

Plasma Astrophysics

$84.99
Advances in Artificial Life

Advances in Artificial Life

$39.99
Side Chain Liquid Crystal Polymers

Side Chain Liquid Crystal Polymers

$329.99
Methylmercury and Neurotoxicity

Methylmercury and Neurotoxicity

$169.00
Biofuel Production Using Anaerobic Digestion

Biofuel Production Using Anaerobic Digestion

$119.99
Webinare  alles ganz anders hier!

Webinare alles ganz anders hier!

$17.99
Holomorphic Foliations with Singularities

Holomorphic Foliations with Singularities

$39.99
The Industrial Organization of Banking

The Industrial Organization of Banking

$119.00
Cold Plasma Waves

Cold Plasma Waves

$84.99
Chemical Library Design

Chemical Library Design

$89.00
Astrophysics with Radioactive Isotopes

Astrophysics with Radioactive Isotopes

$199.99
Institutions, Entrepreneurs, and American Economic History

Institutions, Entrepreneurs, and American Economic History

$54.99
Security and Privacy in Communication Networks

Security and Privacy in Communication Networks

$54.99
Molecular Basis of Membrane-Associated Diseases

Molecular Basis of Membrane-Associated Diseases

$84.99
Genomics Protocols

Genomics Protocols

$84.99
Essentials of Telebehavioral Health

Essentials of Telebehavioral Health

$54.99
Genetic Models of Immune and Inflammatory Diseases

Genetic Models of Immune and Inflammatory Diseases

$84.99
Nonlinear Hydrodynamic Modeling: A Mathematical Introduction

Nonlinear Hydrodynamic Modeling: A Mathematical Introduction

$39.99
Beitrag zur Behandlung chronischer Gelenkerkrankungen des Pferdes mit dem Knorpelprparat Sanarthrit

Beitrag zur Behandlung chronischer Gelenkerkrankungen des Pferdes mit dem Knorpelprparat Sanarthrit

$54.99
Frberische Eigenschaften von zur Herstellung von Verdickungen in der Stoffdruckerei bestimmten Stof

Frberische Eigenschaften von zur Herstellung von Verdickungen in der Stoffdruckerei bestimmten Stof

$54.99
Neuroprotective Signal Transduction

Neuroprotective Signal Transduction

$129.00
Exploring Education and Professional Practice

Exploring Education and Professional Practice

$139.99
Social and Ecological System Dynamics

Social and Ecological System Dynamics

$99.00
Thomasson on Ontology

Thomasson on Ontology

$119.00
Energy and Resource Efficiency in Aluminium Die Casting

Energy and Resource Efficiency in Aluminium Die Casting

$109.99
Theory of  Elasticity

Theory of Elasticity

$169.00
Rationell schreiben!

Rationell schreiben!

$49.99
e-Democracy

e-Democracy

$169.99
Reproductive Behavior

Reproductive Behavior

$54.99
Der Wert der Scham

Der Wert der Scham

$89.99
Pattern Recognition in Bioinformatics

Pattern Recognition in Bioinformatics

$54.99
Atlas of Graft-versus-Host Disease

Atlas of Graft-versus-Host Disease

$199.99
European Security in Integration Theory

European Security in Integration Theory

$129.99
Einfhrung in die soziologische Konstellationsanalyse

Einfhrung in die soziologische Konstellationsanalyse

$17.99
Entzifferte Geheimnisse

Entzifferte Geheimnisse

$34.99
Distributed Fault-Tolerant Consensus Control of Leader-Following Systems

Distributed Fault-Tolerant Consensus Control of Leader-Following Systems

$109.00
Evaluation der psychiatrischen Versorgung in der Bundesrepublik

Evaluation der psychiatrischen Versorgung in der Bundesrepublik

$44.99
Strmungsuntersuchungen an Kreiszylindern bei hohen Geschwindigkeiten

Strmungsuntersuchungen an Kreiszylindern bei hohen Geschwindigkeiten

$59.99
Astrobiology: Future Perspectives

Astrobiology: Future Perspectives

$129.00
Silencing, Heterochromatin and DNA Double Strand Break Repair

Silencing, Heterochromatin and DNA Double Strand Break Repair

$84.99
previous
next