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

This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 papers included in this volume were carefully reviewed and selected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods. The four workshops were: ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation; HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop; MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains; VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Die sogenannte verminderte Zurechnungsfhigkeit als zentrales Problem der Entwrfe zu einem Deutsche

Die sogenannte verminderte Zurechnungsfhigkeit als zentrales Problem der Entwrfe zu einem Deutsche

$59.99
Modellgesttzte Lsung eines sequentiellen Beschaffungsproblems auf der Grundlage der Stopp-Theorie

Modellgesttzte Lsung eines sequentiellen Beschaffungsproblems auf der Grundlage der Stopp-Theorie

$44.99
Androgens in Health and Disease

Androgens in Health and Disease

$219.99
Gold and Gold Mining in Ancient Egypt and Nubia

Gold and Gold Mining in Ancient Egypt and Nubia

$139.00
Thomas Hardy, Sensationalism, and the Melodramatic Mode

Thomas Hardy, Sensationalism, and the Melodramatic Mode

$54.99
Extended Linear Chain Compounds

Extended Linear Chain Compounds

$54.99
Entwrfe des wirtschaftspdagogischen Subjekts

Entwrfe des wirtschaftspdagogischen Subjekts

$49.99
Wertungen, Werte  Das Buch der Grundlagen fr Bildung und Organisationsentwicklung

Wertungen, Werte Das Buch der Grundlagen fr Bildung und Organisationsentwicklung

$24.99
Sonic Branding

Sonic Branding

$84.99
Planning and Market Relations

Planning and Market Relations

$219.99
Polymeric Biomaterials for Tissue Regeneration

Polymeric Biomaterials for Tissue Regeneration

$129.00
Operational Research in Business and Economics

Operational Research in Business and Economics

$169.99
Contemporary Logistics in China

Contemporary Logistics in China

$99.00
Polish Immigrants in Britain

Polish Immigrants in Britain

$54.99
Energieumsatz

Energieumsatz

$59.99
Modern Fluorescence Spectroscopy

Modern Fluorescence Spectroscopy

$84.99
Crystal Growth in Science and Technology

Crystal Growth in Science and Technology

$39.99
High-Fidelity Quantum Logic in Ca+

High-Fidelity Quantum Logic in Ca+

$54.99
Advances in Real and Complex Analysis with Applications

Advances in Real and Complex Analysis with Applications

$84.99
Standardization and Quality Assurance in Fluorescence Measurements II

Standardization and Quality Assurance in Fluorescence Measurements II

$219.99
Environmental Epigenetics

Environmental Epigenetics

$199.99
Virtual Reality, Empathy and Ethics

Virtual Reality, Empathy and Ethics

$79.99
Hybrid Intelligent Systems

Hybrid Intelligent Systems

$219.99
Atlas of Functional Anatomy for Regional Anesthesia and Pain Medicine

Atlas of Functional Anatomy for Regional Anesthesia and Pain Medicine

$129.00
Symptom-Based Approach to Pediatric Neurology

Symptom-Based Approach to Pediatric Neurology

$89.99
Die Biokompatibilitt peritonealer Adhsionsbarrieren

Die Biokompatibilitt peritonealer Adhsionsbarrieren

$54.99
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2013

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2013

$54.99
Analysis 3

Analysis 3

$39.99
Wertorientiertes Supply Chain Management

Wertorientiertes Supply Chain Management

$99.99
Microwave Cavities and Detectors for Axion Research

Microwave Cavities and Detectors for Axion Research

$109.99
Erfolgreiches Markenmanagement

Erfolgreiches Markenmanagement

$59.99
Stochastic Analysis in Discrete and Continuous Settings

Stochastic Analysis in Discrete and Continuous Settings

$39.99
Reclaiming Theodicy

Reclaiming Theodicy

$39.99
Pictorial Information Systems

Pictorial Information Systems

$39.99
Reliability and Statistics in Transportation and Communication

Reliability and Statistics in Transportation and Communication

$219.99
Kooperatives Projektmanagement

Kooperatives Projektmanagement

$29.99
Volkstmliche Namen der Arzneimittel, Drogen und Chemikalien

Volkstmliche Namen der Arzneimittel, Drogen und Chemikalien

$44.99
Telemedicine

Telemedicine

$109.99
From Art to Marketing

From Art to Marketing

$39.99
Interpretable Three-Way Decision with Hesitant Risk Information and Its Healthcare Application

Interpretable Three-Way Decision with Hesitant Risk Information and Its Healthcare Application

$109.00
previous
next