Breaking News!
Up to 30% Off Nike Footwear

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

Scalable Search in Computer Chess

Scalable Search in Computer Chess

$109.99
Managing Innovation and Standards

Managing Innovation and Standards

$31.00
Advanced Stress and Stability Analysis

Advanced Stress and Stability Analysis

$189.00
Umweltmikrobiologische Praxis

Umweltmikrobiologische Praxis

$69.99
Die Wollspinnerei

Die Wollspinnerei

$84.99
Excimer Lasers

Excimer Lasers

$39.99
Speleological and Speleogenetic Aspects of the Monti di Capo San Vito (Sicily)

Speleological and Speleogenetic Aspects of the Monti di Capo San Vito (Sicily)

$109.99
Shock: Biochemical, Pharmacological, and Clinical Aspects

Shock: Biochemical, Pharmacological, and Clinical Aspects

$109.99
Elektromagnetische Feldtheorie

Elektromagnetische Feldtheorie

$39.99
Translations In Times of Disruption

Translations In Times of Disruption

$109.99
Affinity Chromatography

Affinity Chromatography

$54.99
Betriebslehre und Schriftverkehr der Drogerie

Betriebslehre und Schriftverkehr der Drogerie

$59.99
The Daily Stoic: 366 Meditations on Wisdom, Perseverance, and the Art of Living by Ryan Holiday

The Daily Stoic: 366 Meditations on Wisdom, Perseverance, and the Art of Living by Ryan Holiday

$29.00
Clinical Education for the Health Professions

Clinical Education for the Health Professions

$549.99
A New Family of CMOS Cascode-Free Amplifiers with High Energy-Efficiency and Improved Gain

A New Family of CMOS Cascode-Free Amplifiers with High Energy-Efficiency and Improved Gain

$109.99
T. S. Eliot

T. S. Eliot

$49.99
Collaboration in the Australian and Chinese Mobile Telecommunication Markets

Collaboration in the Australian and Chinese Mobile Telecommunication Markets

$169.99
Non-coding RNAs in Cardiovascular Diseases

Non-coding RNAs in Cardiovascular Diseases

$169.99
Elektropneumatische und elektrohydraulische Bauelemente in der Mechatronik

Elektropneumatische und elektrohydraulische Bauelemente in der Mechatronik

$29.99
Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 2

Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 2

$219.00
Kommunikationskonzepte fr verteilte transaktionsorientierte Systeme

Kommunikationskonzepte fr verteilte transaktionsorientierte Systeme

$69.99
Pediatric Anxiety Disorders

Pediatric Anxiety Disorders

$169.99
Information Dynamics

Information Dynamics

$219.99
Dementia and Chronic Disease

Dementia and Chronic Disease

$84.99
Berechnung vorgespannter Sttzen nach RL 35, Norm SIA 162

Berechnung vorgespannter Sttzen nach RL 35, Norm SIA 162

$54.99
Responsive Computing

Responsive Computing

$84.99
Pulses, Sugar and Tuber Crops

Pulses, Sugar and Tuber Crops

$219.99
Computational Science and Its Applications  ICCSA 2017

Computational Science and Its Applications ICCSA 2017

$39.99
Clinical Contact Dermatitis

Clinical Contact Dermatitis

$89.00
Political and Economic Transition in Russia

Political and Economic Transition in Russia

$84.99
African Farmers, Value Chains and Agricultural Development

African Farmers, Value Chains and Agricultural Development

$139.99
Recent Development of Aerodynamic Design Methodologies

Recent Development of Aerodynamic Design Methodologies

$39.99
Korean Economic Dynamism

Korean Economic Dynamism

$109.99
Morbus Dupuytren

Morbus Dupuytren

$24.99
UK Business and Financial Cycles Since 1660

UK Business and Financial Cycles Since 1660

$49.99
Biomechanics of the Knee

Biomechanics of the Knee

$99.00
Koordinationsinstrumente in virtuellen Unternehmen

Koordinationsinstrumente in virtuellen Unternehmen

$89.99
Graph-Based Modelling in Science, Technology and Art

Graph-Based Modelling in Science, Technology and Art

$179.99
Analytische Chemie

Analytische Chemie

$44.99
Emerging and Endemic Pathogens

Emerging and Endemic Pathogens

$169.00
previous
next