Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
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
|
|
$54.99 | $54.99 |
|
$49.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Safety in Aviation and Space Technologies
$199.99
Experimentelle Strmungsanalyse im gerhrten Fermenter
$64.99
Henry & Mudge Grades 1-3
$17.25
An Introduction to Data Structures and Algorithms
$39.99
Subjektive berzeugungen von Berufsbildnern
$39.99
Malcev-Admissible Algebras
$54.99
The Wave-Particle Dualism
$109.99
Agent-Oriented Software Engineering VII
$39.99
Gaby, perdida y encontrada
$5.24
Analysis I
$24.99
Correlations of Soil and Rock Properties in Geotechnical Engineering
$199.99
Variabler Takt
$69.99
Untersuchungen ber die Schwankungen der Niederschlge
$59.99
The Social Audit Consumer Handbook
$19.99
Towards a Maqid al-Sharah Index of Socio-Economic Development
$109.99
Kleinparteien in der Mediendemokratie
$54.99
Plant Nutrition
$259.00
LitCamp Blue Bunk Grades 4-5
$895.00
Mikhail Bakhtin and Walter Benjamin
$109.99
Arch Dams
$109.99
Mittelalterliche Fachliteratur
$29.99
Wage Structures, Employment Adjustments and Globalization
$109.99
Vascular Surgery
$89.00
Power-Sharing in the Global South
$129.99
Topics in Approximation Theory
$39.99
Societal Stress and Law
$159.99
Cartesian Meditations
$99.99
Quersubventionierung zwischen gesetzlicher und privater Krankenversicherung
$59.99
Tobacco, Transformation and Development Dilemmas from Central Africa
$54.99
National Geographic Kids Readers: Rocks & Minerals
$4.46
Domain Modeling-Based Software Engineering
$169.00
Becoming a Mathematics Teacher
$84.99
Energy Security in the Era of Climate Change
$54.99
Police and the Policed
$59.99
Lei and the Fire Goddess
$6.74
Language, Logic, and Mathematics in Schopenhauer
$99.99
Subspace, Latent Structure and Feature Selection
$54.99
Planungs- und Kontrollsysteme
$44.99
Universal Access in Human-Computer Interaction. Theory, Methods and Tools
$99.99
3D Cell Culture
$169.99
