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

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Global Macroeconomics

Global Macroeconomics

$169.99
Der Diabetes Mellitus als Volkskrankheit und seine Beziehung zur Ernhrung

Der Diabetes Mellitus als Volkskrankheit und seine Beziehung zur Ernhrung

$59.99
The Social License

The Social License

$44.99
Rooting Memory, Rooting Place

Rooting Memory, Rooting Place

$54.99
A General PACS-RIS Interface

A General PACS-RIS Interface

$109.99
Excel 2013 for Business Statistics

Excel 2013 for Business Statistics

$49.99
Advances in Polymer Science 1/3

Advances in Polymer Science 1/3

$54.99
Transactions on Aspect-Oriented Software Development IX

Transactions on Aspect-Oriented Software Development IX

$54.99
The Worlds Urban Forests

The Worlds Urban Forests

$99.99
Barbed Wire Baseball

Barbed Wire Baseball

$5.96
Strange Birds

Strange Birds

$7.46
Wohlfahrtspluralismus

Wohlfahrtspluralismus

$74.99
Fags, Hags and Queer Sisters

Fags, Hags and Queer Sisters

$54.99
Labor Market Policies in Canada and Latin America: Challenges of the New Millennium

Labor Market Policies in Canada and Latin America: Challenges of the New Millennium

$169.99
DNA Cloning and Assembly

DNA Cloning and Assembly

$169.99
Jews, Cinema and Public Life in Interwar Britain

Jews, Cinema and Public Life in Interwar Britain

$99.99
Die Erforschung des Chaos

Die Erforschung des Chaos

$169.99
Collaborators in Literary America, 1870-1920

Collaborators in Literary America, 1870-1920

$74.99
Chinese Mine Labour in the Transvaal

Chinese Mine Labour in the Transvaal

$44.99
Multiple Congenital Anomalies

Multiple Congenital Anomalies

$84.99
Urban Vice Regulation Compared

Urban Vice Regulation Compared

$34.99
The Euro: Consequences for the Consumer and the Citizen

The Euro: Consequences for the Consumer and the Citizen

$129.00
Theoretical and Practical Developments in English Speech Assessment, Research, and Training

Theoretical and Practical Developments in English Speech Assessment, Research, and Training

$169.99
Notations for Software Design

Notations for Software Design

$54.99
Mathematical Modeling of Physical Systems

Mathematical Modeling of Physical Systems

$89.00
Cross-Cultural Design. Applications in Health, Learning, Communication, and Creativity

Cross-Cultural Design. Applications in Health, Learning, Communication, and Creativity

$39.99
Micro and Precision Manufacturing

Micro and Precision Manufacturing

$84.99
Speech Time-Frequency Representations

Speech Time-Frequency Representations

$84.99
Ethical Counselling and Medical Decision-Making in the Era of Personalised Medicine

Ethical Counselling and Medical Decision-Making in the Era of Personalised Medicine

$39.99
Vertrieb trifft Hirnforschung

Vertrieb trifft Hirnforschung

$49.99
Disease in Wild Animals

Disease in Wild Animals

$329.99
Rhinosporidiosis

Rhinosporidiosis

$109.99
Win or Lose in Rural Development

Win or Lose in Rural Development

$169.99
Pastures of Change

Pastures of Change

$79.99
Pollution

Pollution

$169.00
Primary and Secondary Metabolism of Plants and Cell Cultures III

Primary and Secondary Metabolism of Plants and Cell Cultures III

$84.99
Set Valued Dynamical Systems and Economic Flow

Set Valued Dynamical Systems and Economic Flow

$54.99
Reference Data on Atoms, Molecules, and Ions

Reference Data on Atoms, Molecules, and Ions

$109.99
Professionalitt und Alltag in der Erziehungsberatung

Professionalitt und Alltag in der Erziehungsberatung

$59.99
Transcriptional Control of Lineage Differentiation in Immune Cells

Transcriptional Control of Lineage Differentiation in Immune Cells

$169.99
previous
next