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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Applications of Fractals and Chaos
$54.99
Surface Chemistry and Catalysis
$169.99
Simulation of Thermal Systems
$84.99
Hyperschallbahn
$29.99
Bankbetriebslehre
$54.99
Kristallographie
$39.99
The Culture-Bound Syndromes
$219.99
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music
$39.99
Provable Security
$39.99
Selective Maintenance Modelling and Optimization
$129.99
Reconstructing Post-Nationalist Liberal Pluralism
$54.99
Analyse des tumorrelevanten Proteins Survivin
$59.99
Fachwrterbuch Feuerwehr und Brandschutz
$49.99
Inequalities for Differential Forms
$109.99
Analytic and Plurisubharmonic Functions
$29.99
Softwareprojekte erfolgreich managen
$39.99
The Honeys (Hardcover)
$14.24
Co-Evolution of Standards in Innovation Systems
$129.00
Pocket Guide to Critical Care Pharmacotherapy
$54.99
Understanding Kidney Diseases
$159.99
Samsung ARTIK Reference
$44.99
Nonlinear Analysis and Synthesis Techniques for Aircraft Control
$109.99
Health Care Systems in Japan and the United States
$84.99
Disgusting Critters: The Toad
$5.21
Political Stability, Democracy and Agenda Dynamics in Turkey
$79.99
Semantic Web Collaborative Spaces
$54.99
Exploring the Last Continent
$249.99
Information Behavior
$109.99
Acanthaster and the Coral Reef: A Theoretical Perspective
$54.99
In Situ Hybridization Methods
$169.99
Nanomedicines for Effective Cancer Therapy
$169.99
Histopathology Specimens
$249.99
Rheuma - Lernen, mit der Krankheit gut zu leben
$44.99
Serious Games in Physical Rehabilitation
$64.99
Clinical Management of Vulvodynia
$54.99
The New Collective Bargaining
$34.99
Magyar Women
$85.00
Die Realschule als Modell mittlerer Bildung
$59.99
Diseases of the Chest and Heart
$54.99
X-Ray Lasers 2008
$219.99
