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
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

The Mechanism of Action of Androgens

The Mechanism of Action of Androgens

$84.99
Novel Catalysts in Advanced Oxidation of Organic Pollutants

Novel Catalysts in Advanced Oxidation of Organic Pollutants

$39.99
Natural Language Processing and Chinese Computing

Natural Language Processing and Chinese Computing

$79.99
Soziale Kontexte krimineller Handlungen

Soziale Kontexte krimineller Handlungen

$59.99
Die bungspraxis in Coachingweiterbildungen

Die bungspraxis in Coachingweiterbildungen

$64.99
New Directions in Cognitive Information Retrieval

New Directions in Cognitive Information Retrieval

$109.99
Imperativeness in Private International Law

Imperativeness in Private International Law

$139.99
Toward Functional Nanomaterials

Toward Functional Nanomaterials

$169.99
Yuyi Morales Grades K-2

Yuyi Morales Grades K-2

$21.00
Histamine and Histamine Receptors in Health and Disease

Histamine and Histamine Receptors in Health and Disease

$329.99
Uro-Onkologie in der Praxis

Uro-Onkologie in der Praxis

$59.99
Praktikum der Gesteinsanalyse

Praktikum der Gesteinsanalyse

$44.99
New Challenges for UNICEF

New Challenges for UNICEF

$54.99
Dynamic Asset Allocation with Forwards and Futures

Dynamic Asset Allocation with Forwards and Futures

$84.99
Portuguese as an Additional Language

Portuguese as an Additional Language

$54.99
The Principles of Green and Sustainability Science

The Principles of Green and Sustainability Science

$109.99
Markenbeurteilung bei einzigartigen Produkteigenschaften

Markenbeurteilung bei einzigartigen Produkteigenschaften

$69.99
Kiranmala and the Kingdom Beyond: The Serpent's Secret (Hardcover)

Kiranmala and the Kingdom Beyond: The Serpent's Secret (Hardcover)

$14.24
Quality of Life Impairment in Schizophrenia, Mood and Anxiety Disorders

Quality of Life Impairment in Schizophrenia, Mood and Anxiety Disorders

$219.99
Women in the English Novel, 1800-1900

Women in the English Novel, 1800-1900

$14.99
Ion acceleration and extreme light field generation based on ultra-short and ultraintense lasers

Ion acceleration and extreme light field generation based on ultra-short and ultraintense lasers

$84.99
Advances in Earthquake Engineering for Urban Risk Reduction

Advances in Earthquake Engineering for Urban Risk Reduction

$329.99
Applications of Control Theory in Ecology

Applications of Control Theory in Ecology

$54.99
Introduction to Pragmatics

Introduction to Pragmatics

$119.99
Cosmic Rays in Star-Forming Environments

Cosmic Rays in Star-Forming Environments

$219.99
Moral Issues and Multinational Corporations

Moral Issues and Multinational Corporations

$34.99
Aggression und Autoaggression

Aggression und Autoaggression

$59.99
Essence of Diplomacy

Essence of Diplomacy

$129.99
The Consequences of Mobility

The Consequences of Mobility

$109.99
Green IT: Technologies and Applications

Green IT: Technologies and Applications

$84.99
Fibrosis in Disease

Fibrosis in Disease

$169.99
Mela and the Elephant

Mela and the Elephant

$5.96
Introduction to the Theory of Standard Monomials

Introduction to the Theory of Standard Monomials

$49.99
Organisation der Software-Entwicklung

Organisation der Software-Entwicklung

$59.99
Die Drei

Die Drei

$49.99
Theorie des Potentials und ihre Anwendungen auf Electrostatik und Magnetismus

Theorie des Potentials und ihre Anwendungen auf Electrostatik und Magnetismus

$59.99
Elektrotechnik auf Handelsschiffen

Elektrotechnik auf Handelsschiffen

$59.99
Leading in Inter-Organizational Networks

Leading in Inter-Organizational Networks

$79.99
Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future

Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future

$54.99
Quantum Computing: A Shift from Bits to Qubits

Quantum Computing: A Shift from Bits to Qubits

$199.99
previous
next