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 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.
Reviews
Questions & Answers
Back to Sociological Theory
$29.99
Power and Politics in the Soviet Union
$39.99
Environmental Philosophy and Ethics in Buddhism
$109.99
Finite Geometries
$169.99
Landscape Development and Climate Change in Southwest Bulgaria (Pirin Mountains)
$109.99
Domestic Violence in Health Contexts: A Guide for Healthcare Professions
$69.99
Hi! Fly Guy (Fly Guy #1) (Hardcover)
$5.99
Boko Haram
$54.99
Concepts, Strategies and Models to Enhance Physics Teaching and Learning
$109.99
Manufacturing Processes 2
$139.00
Introduction to Applied Mathematics
$99.99
Zum Begriff der Aussichtslosigkeit einer Entziehungskur nach 64 Abs. 2 StGB
$59.99
Disposable Bioreactors
$299.00
Whitehouse
$74.99
Eurocentrism and the Politics of Global History
$59.99
Nachfrageorientierte Bewertung der Streckenfhrung im ffentlichen Personennahverkehr
$59.99
Ordered Sets
$99.00
Global Events and Event Stratigraphy in the Phanerozoic
$84.99
Tabelle der Hauptlinien der Linienspektren aller Elemente nach Wellenlnge geordnet
$44.99
Stereotaxic Neurosurgery in Laboratory Rodent
$109.00
Musical Sound
$84.99
Health Economics
$69.99
Die Geste in Erziehung, Bildung und Sozialisation
$64.99
Die Chirurgische Behandlung der Lungentuberkulose
$59.99
Advances in Visual Computing
$169.99
Biological Control: Measures of Success
$169.99
Conscious in a Vegetative State? A Critique of the PVS Concept
$129.00
Interdisciplinary Applications of Kinematics
$169.99
Performing Migrancy and Mobility in Africa
$39.99
Intermediate C Programming for the PIC Microcontroller
$64.99
Wittgenstein and Religion
$54.99
Pathology of the Nucleus
$84.99
Literatur des Realismus
$17.99
Performance in the Blockades of Neoliberalism
$54.99
Defending Descartes in Brandenburg-Prussia
$109.00
Pathologie oder Struktur?
$49.99
Intelligent Interactive Assistance and Mobile Multimedia Computing
$39.99
Intelligent Decision Technologies 2019
$219.99
Pacifisms Appeal
$129.99
Computer Vision ECCV 2024
$64.99
