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

Software Engineering and Formal Methods

Best Price (Coupon Required):
Buy Software Engineering and Formal Methods for $76.50 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: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ 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
$84.99 $84.99

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

Product Details

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

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium From Data to Models and Back"; FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;MSE 2017 -- 1st Workshop on Microservices: Science and Engineering;CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems;FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Neural Crest Induction and Differentiation

Neural Crest Induction and Differentiation

$129.00
Bariatric Surgery Complications

Bariatric Surgery Complications

$99.99
Studien zur Anwendbarkeit der Rntgen-fluoreszenzanalyse fr die quantitative Analyse

Studien zur Anwendbarkeit der Rntgen-fluoreszenzanalyse fr die quantitative Analyse

$59.99
Warranty Data Collection and Analysis

Warranty Data Collection and Analysis

$219.99
New Frontiers of Molecular Epidemiology of Infectious Diseases

New Frontiers of Molecular Epidemiology of Infectious Diseases

$139.00
Coroutines

Coroutines

$39.99
LCA Based Carbon Footprint Assessment

LCA Based Carbon Footprint Assessment

$129.99
Low-Energy Ion Irradiation of Solid Surfaces

Low-Energy Ion Irradiation of Solid Surfaces

$39.99
Category Theory

Category Theory

$44.99
Computer Vision -- ACCV 2014

Computer Vision -- ACCV 2014

$54.99
Intrinsic Motivation and Self-Determination in Human Behavior

Intrinsic Motivation and Self-Determination in Human Behavior

$279.99
Smart Agriculture Automation Using Advanced Technologies

Smart Agriculture Automation Using Advanced Technologies

$159.99
Computer Aided Systems Theory - EUROCAST 2001

Computer Aided Systems Theory - EUROCAST 2001

$84.99
Todava somos amigos?

Todava somos amigos?

$3.74
Temporary Agency Workers in Italy and the UK

Temporary Agency Workers in Italy and the UK

$109.99
The Cerebrospinal Fluid

The Cerebrospinal Fluid

$219.99
Property Rights in Investment Securities and the Doctrine of Specificity

Property Rights in Investment Securities and the Doctrine of Specificity

$109.99
Zum Grund des Seins

Zum Grund des Seins

$74.99
Biomedical Engineering Systems and Technologies

Biomedical Engineering Systems and Technologies

$99.99
Reflective Equilibrium

Reflective Equilibrium

$109.99
Anatomising Embodiment and Organisation Theory

Anatomising Embodiment and Organisation Theory

$109.99
Gender Before Birth in India

Gender Before Birth in India

$129.99
Eigenkapitalmanagement mittels Asset-backed Securities

Eigenkapitalmanagement mittels Asset-backed Securities

$79.99
International Marketing of Higher Education

International Marketing of Higher Education

$109.99
Instrumentation for the Detection and Determination of Pesticides and their Residues in Foods

Instrumentation for the Detection and Determination of Pesticides and their Residues in Foods

$59.99
Analysis and Applications - ISAAC 2001

Analysis and Applications - ISAAC 2001

$109.99
Testosterone: From Basic Research to Clinical Applications

Testosterone: From Basic Research to Clinical Applications

$54.99
Happiness Across Cultures

Happiness Across Cultures

$139.00
Advances in Tumor Immunology and Immunotherapy

Advances in Tumor Immunology and Immunotherapy

$169.99
Europa - politisches Einigungswerk und gesellschaftliche Entwicklung

Europa - politisches Einigungswerk und gesellschaftliche Entwicklung

$19.99
ber die Gesundheitsverhltnisse der Arbeiter in der deutschen keramischen insbesondere der Porzella

ber die Gesundheitsverhltnisse der Arbeiter in der deutschen keramischen insbesondere der Porzella

$74.99
The Measurement of Turbulent Fluctuations

The Measurement of Turbulent Fluctuations

$109.99
Beginning JSON

Beginning JSON

$79.99
Russian Arctic Seas

Russian Arctic Seas

$109.99
The physical examination

The physical examination

$54.99
Value-based Radiology

Value-based Radiology

$139.99
Relaxation in Complex Systems and Related Topics

Relaxation in Complex Systems and Related Topics

$169.99
Lattices of Dielectric Resonators

Lattices of Dielectric Resonators

$109.99
Software Engineering and Knowledge Engineering: Theory and Practice

Software Engineering and Knowledge Engineering: Theory and Practice

$259.00
Degeneration, Normativity and the Gothic at the Fin de Sicle

Degeneration, Normativity and the Gothic at the Fin de Sicle

$84.99
previous
next