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
Statistical Methods in Biomarker and Early Clinical Development
$159.99
Pattern Recognition
$79.99
Wissensemission und -absorption
$64.99
Jugendarbeit auf dem Land
$49.99
Vertex Operators in Mathematics and Physics
$109.99
Our Hopes, Our Future
$32.99
Mathematische Optimierung
$17.99
Ressorts im Zeitalter von Medienwandel und Boulevardjournalismus
$49.99
Philosophers and Friends
$109.99
Advanced Lectures on Networking
$39.99
Properties, Types and Meaning
$169.99
Die Interpretation des Verhaltens mehrerer Akteure in Szenenfolgen
$69.99
Edge Analytics
$329.99
Socialist Optimism
$109.99
Nils Petter Gleditsch: Pioneer in the Analysis of War and Peace
$24.99
Rebel in a Dress: Adventurers
$6.00
Local Structure from Diffraction
$189.00
Studies in Housing and Urban Analysis in Japan
$169.99
Zur Therapie des Prostatakarzinoms
$69.99
Brightening Tomorrow Together 2024
$199.99
Fuzzy Sets and Fuzzy Logic
$29.99
Auf der Seite der Erziehung
$49.99
Angewandte Kriminologie
$84.99
Challenges to Democratic Governance in Developing Countries
$109.99
Human Resource Management in Ageing Societies
$54.99
Regionalismus und Sptmoderne
$59.99
Intelligent Electrical Systems and Industrial Automation
$299.99
Die Gdel'schen Unvollstndigkeitsstze
$39.99
Vaudeville Wars
$54.99
Bildmacht und Sozialanspruch
$44.99
Rookie Read-About Science-Life Cycles: De semilla a planta
$5.21
Education and Youth Agency
$109.99
New Challenges to Ageing in the Rural North
$129.99
Confronting Scale in Archaeology
$39.99
Virtuelle Mobilitt: Ein Phnomen mit physischen Konsequenzen?
$44.99
A Color Atlas of the Chinese Mecoptera
$169.99
High-Tech and Micropropagation IV
$169.99
Internationale Rechnungslegung fr kleine und mittelgroe Unternehmen
$69.99
Ethics, Human Rights and Culture
$109.99
Computers and Cognition: Why Minds are not Machines
$54.99
