Breaking News!
Up to 30% Off Nike Footwear

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

Functional Genomics

Functional Genomics

$84.99
Environmental Chemistry for a Sustainable World

Environmental Chemistry for a Sustainable World

$169.99
CAM-Handbuch

CAM-Handbuch

$44.99
Magnetic Interactions in Molecules and Solids

Magnetic Interactions in Molecules and Solids

$39.99
Climate, Planetary and Evolutionary Sciences

Climate, Planetary and Evolutionary Sciences

$109.00
Infant Previewing

Infant Previewing

$84.99
Bio-Inspired Silicon-Based Materials

Bio-Inspired Silicon-Based Materials

$84.99
Max Weber and Institutional Theory

Max Weber and Institutional Theory

$119.99
New Perspectives on Applied Industrial Tools and Techniques

New Perspectives on Applied Industrial Tools and Techniques

$169.99
Random Walks in the Quarter-Plane

Random Walks in the Quarter-Plane

$39.99
Boundary Layer Structure

Boundary Layer Structure

$219.99
Beginning x64 Assembly Programming

Beginning x64 Assembly Programming

$34.99
Hydrographie

Hydrographie

$59.99
Pout-Pout Fish: Pout-Pout Fish: Special Valentine

Pout-Pout Fish: Pout-Pout Fish: Special Valentine

$4.46
An Outline of Informational Genetics

An Outline of Informational Genetics

$29.99
Neuorientierung der betrieblichen Karriereplanung

Neuorientierung der betrieblichen Karriereplanung

$44.99
Science, Religion and Communism in Cold War Europe

Science, Religion and Communism in Cold War Europe

$29.99
Media Management in the Age of Lyndon B. Johnson

Media Management in the Age of Lyndon B. Johnson

$129.99
Elementary Reaction Steps in Heterogeneous Catalysis

Elementary Reaction Steps in Heterogeneous Catalysis

$39.99
Sand Animals

Sand Animals

$3.71
Societies in Transition  Challenges to Womens and Gender Studies

Societies in Transition Challenges to Womens and Gender Studies

$54.99
OpenMP in the Petascale Era

OpenMP in the Petascale Era

$39.99
White Women Captives in North Africa

White Women Captives in North Africa

$159.99
Kupfer und Kupferlegierungen

Kupfer und Kupferlegierungen

$44.99
Swine Influenza

Swine Influenza

$129.00
Adaptive Filtering

Adaptive Filtering

$84.99
Management Practices in Asia

Management Practices in Asia

$39.99
Pediatric Urology for the Primary Care Physician

Pediatric Urology for the Primary Care Physician

$89.00
Electromechanobiology of Cartilage and Osteoarthritis

Electromechanobiology of Cartilage and Osteoarthritis

$59.99
Professionelle Verkaufsprsentation

Professionelle Verkaufsprsentation

$49.99
Formal Power Series and Algebraic Combinatorics

Formal Power Series and Algebraic Combinatorics

$329.99
Our Cultural Agony

Our Cultural Agony

$109.99
Multilingual Dictionary of Agronomic Plants

Multilingual Dictionary of Agronomic Plants

$129.00
102. Kongre der Deutschen Gesellschaft fr Chirurgie Mnchen, 10.13. April 1985

102. Kongre der Deutschen Gesellschaft fr Chirurgie Mnchen, 10.13. April 1985

$69.99
Structure and Function in Cilia and Flagella / Trichocystes, Corps Trichocystodes, Cnidocystes et C

Structure and Function in Cilia and Flagella / Trichocystes, Corps Trichocystodes, Cnidocystes et C

$54.99
Data Science and Analytics

Data Science and Analytics

$54.99
Die Besten fr den Vertrieb

Die Besten fr den Vertrieb

$49.99
Statistical Modelling and Machine Learning Principles for Bioinformatics Techniques, Tools, and Appl

Statistical Modelling and Machine Learning Principles for Bioinformatics Techniques, Tools, and Appl

$199.99
Hadamard Matrix Analysis and Synthesis

Hadamard Matrix Analysis and Synthesis

$169.99
Molecular Mechanisms of Spondyloarthropathies

Molecular Mechanisms of Spondyloarthropathies

$169.00
previous
next