Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
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.
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
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Applied Demography and Public Health in the 21st Century
$199.99
Advances in Automation, Mechanical and Design Engineering
$219.99
HCI and Usability for Medicine and Health Care
$39.99
Achtsamkeit des Psychotherapeuten
$49.99
20 Years of G20
$119.00
6 + 1 Traits Of Writing: The Complete Guide For The Primary Grades (30-copy pack)
$674.70
Stahlbau 2
$69.99
The Prostate Cancer Dilemma
$109.99
Rookie Read-About Science-Animals: Flies Are Fascinating
$3.71
Short-Term Test Systems for Detecting Carcinogens
$109.99
A Transition to Sustainable Housing
$49.99
Technological Capability in the Third World
$129.00
Sustainable Cloud and Energy Services
$129.00
Disrupting Pathways to Genocide
$54.99
Integral and Discrete Inequalities and Their Applications
$249.99
Advances in Understanding Strategic Behaviour
$54.99
Grundstze ordnungsmiger Bilanzierung fr die Equitymethode
$59.99
The Nature of Biological Systems as Revealed by Thermal Methods
$129.00
Fixed Income Investing
$159.99
Volkstmliche Namen der Arzneimittel, Drogen und Chemikalien
$44.99
Gluteal Fat Augmentation
$179.99
Interdisciplinary Advances in Sustainable Development
$84.99
EM Wave Propagation Analysis in Plasma Covered Radar Absorbing Material
$54.99
Variational Analysis and Applications
$299.99
Leading Creative Teams
$29.99
Mad Cow Disease and Related Spongiform Encephalopathies
$169.99
Grogasversorgung
$59.99
Theoretical Study on Graphite and Lithium Metal as Anode Materials for Next-Generation Rechargeable
$199.99
Die Erforschung des tropischen Luftozeans in Niederlndisch-Ost-Indien
$44.99
Difficult Situations in Business Coaching
$84.99
Novel Aspects
$84.99
Japanese Management
$109.99
Hot-Carrier Reliability of MOS VLSI Circuits
$169.00
More Equal than Others?
$169.99
Tools and Environments for Parallel and Distributed Systems
$169.99
Behet's Syndrome
$109.99
Bioinformatics and Computational Biology Solutions Using R and Bioconductor
$189.00
Image Processing using Pulse-Coupled Neural Networks
$109.99
Barbara Bodichons Epistolary Education
$54.99
Overcoming the Persistence of Inequality and Poverty
$54.99
