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

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Mikroskopische Wasseranalyse

Mikroskopische Wasseranalyse

$59.99
Multislice CT

Multislice CT

$169.00
Paradigms in Green Chemistry and Technology

Paradigms in Green Chemistry and Technology

$54.99
Schulterendoprothetik

Schulterendoprothetik

$49.99
Singular Integrals and Fourier Theory on Lipschitz Boundaries

Singular Integrals and Fourier Theory on Lipschitz Boundaries

$119.99
Advances in Information Retrieval

Advances in Information Retrieval

$84.99
Grow Your Global Markets

Grow Your Global Markets

$29.99
Developmental Neuropathology of Schizophrenia

Developmental Neuropathology of Schizophrenia

$39.99
Transnational Haushalten

Transnational Haushalten

$59.99
Peptides of Poisonous Amanita Mushrooms

Peptides of Poisonous Amanita Mushrooms

$84.99
Procedural Programming with PostgreSQL PL/pgSQL

Procedural Programming with PostgreSQL PL/pgSQL

$39.99
Neurodevelopmental Disorders

Neurodevelopmental Disorders

$169.99
Reimagining Utopias

Reimagining Utopias

$39.99
Screening auf angeborene endokrine und metabole Strungen

Screening auf angeborene endokrine und metabole Strungen

$49.99
Transformative Teaching

Transformative Teaching

$59.99
A Novel Heme-Thiolate Peroxygenase AaeAPO and Its Implications for C-H Activation Chemistry

A Novel Heme-Thiolate Peroxygenase AaeAPO and Its Implications for C-H Activation Chemistry

$109.99
Albert Einstein

Albert Einstein

$129.99
Algebra - Representation Theory

Algebra - Representation Theory

$169.99
Logic, Mathematics, Philosophy, Vintage Enthusiasms

Logic, Mathematics, Philosophy, Vintage Enthusiasms

$169.99
Machine Learning and Non-volatile Memories

Machine Learning and Non-volatile Memories

$169.99
Enlargement and the Future of Europe

Enlargement and the Future of Europe

$29.99
Handbook of Materials for Wind Musical Instruments

Handbook of Materials for Wind Musical Instruments

$249.99
Markenwahlverhalten

Markenwahlverhalten

$79.99
The Paris Agreement

The Paris Agreement

$44.99
Wildlife Conservation Evaluation

Wildlife Conservation Evaluation

$39.99
The Repressed Memory Epidemic

The Repressed Memory Epidemic

$179.99
Verstndlichkeit von Sachtexten

Verstndlichkeit von Sachtexten

$49.99
Grid Computing

Grid Computing

$39.99
Systemtheorie

Systemtheorie

$119.00
Data Analysis Using the Method of Least Squares

Data Analysis Using the Method of Least Squares

$39.99
No-Line-Handel

No-Line-Handel

$39.99
Primordial Nucleosynthesis and Evolution of Early Universe

Primordial Nucleosynthesis and Evolution of Early Universe

$39.99
Dynamics of Coupled Structures, Volume 4

Dynamics of Coupled Structures, Volume 4

$84.99
Lesen und Leseunterricht in der Sekundarstufe I

Lesen und Leseunterricht in der Sekundarstufe I

$59.99
Elon Musk- Tesla, SpaceX, and the Quest for a Fantastic Future by Ashlee Vance

Elon Musk- Tesla, SpaceX, and the Quest for a Fantastic Future by Ashlee Vance

$17.99
Protein Microarrays for Disease Analysis

Protein Microarrays for Disease Analysis

$99.00
Advanced Industrial Wastewater Treatment and Reclamation of Water

Advanced Industrial Wastewater Treatment and Reclamation of Water

$169.99
CAD-Datenbanksysteme

CAD-Datenbanksysteme

$34.99
Unser kologischer Fuabdruck

Unser kologischer Fuabdruck

$49.99
Lovely, Dark, and Deep (Hardcover)

Lovely, Dark, and Deep (Hardcover)

$14.24
previous
next