Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Software Engineering and Formal Methods
Best Price (Coupon Required):
Buy Software Engineering and Formal Methods for $49.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Algorithms in Real Algebraic Geometry
$129.99
Terrorism and Counter-terrorism in Saudi Arabia and Indonesia
$129.99
The Poetics of Post-Traumatic Stress Disorder in Postmodern Literature
$59.99
Soft Computing for Information Processing and Analysis
$169.99
The AutoCAD Reference Guide
$109.99
Logistical Asia
$199.99
The Retroviridae
$219.99
Tea
$259.00
Bodily Integrity and the Politics of Circumcision
$199.99
Bookshelves in the Age of the COVID-19 Pandemic
$109.99
ICTMI 2017
$219.99
Lie Theory
$84.99
Interfacial Transport Phenomena
$219.99
Handbook of Anthropometry
$749.00
Security and Privacy in Communication Networks
$143.00
EDV-Anwendungen in der betrieblichen Abfallwirtschaft
$69.99
Myokarddurchblutung und Stoffwechselparameter im arteriellen Blut bei Hmodilutionsperfusion
$69.99
Evidence-Based School Development in Changing Demographic Contexts
$49.99
A Bibliography of George Berkeley
$109.99
Exceptional Children
$54.99
Audiovisual Translation in a Global Context
$129.99
Psychosomatik nicht-epileptischer Anflle
$59.99
Global Lessons from the AIDS Pandemic
$109.99
International Symposium on Geodesy for Earthquake and Natural Hazards (GENAH)
$169.99
Wlzlagerdiagnose an Maschinenstzen
$74.99
Advances in Simulation of Wing and Nacelle Stall
$219.99
Armut, Scham und Stressbewltigung
$74.99
Methane and Alkane Conversion Chemistry
$39.99
Advances in Computer Technology and Applications in Japan
$109.99
Neuroprosthetics: from Basic Research to Clinical Applications
$109.99
Science Education
$39.99
Does EU Membership Facilitate Convergence? The Experience of the EU's Eastern Enlargement - Volume I
$179.99
Recent Developments in Graves Ophthalmopathy
$129.00
Sharing Behavior of Brand Crisis Information on Social Media
$159.99
Imaging Our Solar System: The Evolution of Space Mission Cameras and Instruments
$29.99
Acoustical Holography
$39.99
Work in Early Modern Italy, 15001800
$99.99
Offene Kinder- und Jugendarbeit im Kontext des Salafismus
$79.99
The Trauma Golden Hour
$109.99
Numerical Flow Simulation I
$129.00
