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
The Roles of Accelerated Pavement Testing in Pavement Sustainability
$449.99
Britain and the Ruhr Crisis
$109.99
Public Choice Economics and the Salem Witchcraft Hysteria
$54.99
Mammals of North America - Volume 2
$249.99
Calcium in Human Biology
$84.99
Immigration and Crime
$39.99
Foundation Mac OS X Web Development
$34.99
Developmental States and Business Activism
$109.99
Leveraging Legacies from Sports Mega-Events
$54.99
Studienbuch Operationalisierungen
$19.99
A Choice Collection of Books on Zoology and Botany
$54.99
Sustainable Development and Innovation of Digital Enterprises for Living with COVID-19
$159.99
Selektive DNS- Vermehrung whrend der frhembryonalen Differenzierung des Teichmolchs Triturus vulga
$64.99
Neue europische Finanzarchitektur
$119.99
Theoretical Aspects of Computing - ICTAC 2007
$39.99
Methoden-, Reagenzien- und Gerte-Evaluation in der Laboratoriumsmedizin
$59.99
Poetry and Mindfulness
$49.99
Partizipation trifft Reprsentation
$59.99
Fhrer fr Diskussionsleiter
$54.99
hochschule@zukunft 2030
$49.99
Kritik der Parteien in Deutschland vom Standpunkte des Gneistschen Englischen Verfassungs- und Verw
$69.99
Lattice-Ordered Groups
$84.99
Dietary Fibre and Related Substances
$39.99
Contact Manifolds in Riemannian Geometry
$19.99
A Lifetime of Excursions Through Random Walks and Lvy Processes
$109.00
Milk and Milk Products
$109.99
Interstellar Gas Dynamics
$54.99
Pathological Effects of Radio Waves
$39.99
Linguistische Datenverarbeitung
$69.95
Aggregate Behaviour of Investment in China, 195396
$109.99
Obsessed with the Doctoral Theses
$49.99
Innovationen fr eine digitale Wirtschaft
$79.99
Eric Carle / Bill Martin Jr. Board Books: Brown Bear, Brown Bear, What Do You See?
$5.96
What Is Disease?
$109.99
Informationsverarbeitung und Preisbildung am Aktien- und Optionsmarkt
$59.99
President George W. Bush's Influence over Bureaucracy and Policy
$54.99
Arctic and Alpine Biodiversity: Patterns, Causes and Ecosystem Consequences
$84.99
Nonlinear Least Squares for Inverse Problems
$89.00
Disposable Bioreactors
$299.00
Design and Analysis of Distributed Embedded Systems
$169.99
