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
Environmental Toxicology, Economics and Institutions
$84.99
Advertising, Commercial Spaces and the Urban
$39.99
Foundation Dynamic Web Pages with Python
$44.99
Melancholie
$69.99
Grundfragen der Finanzierung im Rahmen der betrieblichen Finanzwirtschaft
$59.99
Geometric Invariant Theory, Holomorphic Vector Bundles and the Harder-Narasimhan Filtration
$54.99
Reactions of Sulfur with Organic Compounds
$54.99
Jewish Women in the Early Italian Womens Movement, 18611945
$139.99
Interrogating Modernity
$159.99
Surgery and Arthroscopy of the Knee
$109.99
Urologische Rehabilitation
$64.99
Beginning Groovy, Grails and Griffon
$49.99
Einfhrung in den Eisenbahnbetriebsdienst
$49.99
Knowledge Science, Engineering and Management
$79.99
Creating Value and Improving Financial Performance
$139.00
Models of the Real Projective Plane
$49.99
Grundkurs Hochfrequenztechnik
$29.99
Mexicos Struggle for Public Security
$39.99
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ
$129.00
Ergometry in Hypertensive Patients
$84.99
Theoretical Treatment of Molecules and Their Interactions
$549.99
Latinx Voices Bilingual Grades PreK-1
$39.00
Nachhaltige und digitale Baukonzepte
$59.99
Analog Signal Processing
$109.99
Bankmagazin - Jahrgang 2022 -- Teil 1
$49.99
Edmund Husserls Phnomenologie der Instinkte
$299.99
Aeroassisted Orbital Transfer
$39.99
berflle und Wehre
$69.99
Limit Theorems for Stochastic Processes
$199.99
Phenolsulfotransferase in Mental Health Research
$59.99
Reviews of Environmental Contamination and Toxicology
$39.99
Update on Childhood Asthma
$54.99
Quantitative Epidemiology
$89.99
The Invention of Physical Science
$129.00
Finite Inelastic Deformations Theory and Applications
$84.99
Ethics in Cyberspace
$109.99
Fractals for the Classroom
$39.99
Hyperspectral Image Analysis
$129.00
Markov Processes: Ray Processes and Right Processes
$29.99
Transition Location Effect on Shock Wave Boundary Layer Interaction
$169.99
