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
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2010
$109.99
AIDS, Drugs of Abuse, and the Neuroimmune Axis
$84.99
Wrterbuch Auslandsprojekte Deutsch-Englisch Dictionary of Projects Abroad German-English
$229.99
Altwerden in Deutschland
$89.99
Fragen zum Lyrischen in Friederike Mayrckers Poesie
$49.99
Neuropsychiatry and Behavioral Pharmacology
$129.99
Empirische Forschungsmethoden
$39.99
Shock Waves
$109.99
Biosensors and Biochips
$69.99
Primary Well-Being: Case Studies for the Growing Child
$49.99
Fox and His Friends
$4.46
School Bus
$6.71
Die Lebendige Masse
$84.99
Abschied von der Reparaturkultur
$44.99
JIT98 Java-Informations-Tage 1998
$69.99
Breast Cancer: Cellular and Molecular Biology
$169.00
Character Computing
$179.99
Advances in Microbiology, Infectious Diseases and Public Health
$84.99
Advances in Cryptology -- CRYPTO 2010
$39.99
Theory of Differential Equations with Unbounded Delay
$84.99
Kazimierz Opaek Selected Papers in Legal Philosophy
$169.99
Advances in Solid State Physics 45
$129.00
Finite Element Systems
$74.99
Clever aus der Abseitsfalle
$64.99
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Genera
$39.99
Differential-Geometrical Methods in Statistics
$159.99
Visual Basic .NET and the .NET Platform
$44.99
Application of Data Mining Techniques in the Analysis of Indoor Hygrothermal Conditions
$39.99
European Defence Cooperation in EU Law and IR Theory
$54.99
Physics of Collisional Plasmas
$54.99
The Puppy Place: Bitsy (#48)
$4.49
Catholic Education in Latin America
$119.00
Besteuerung von natrlichen Personen und Personengesellschaften
$39.99
NeuronGlia Interrelations During Phylogeny
$169.00
Gay Suburban Narratives in American and British Culture
$54.99
Processes in GeoMediaVolume III
$139.99
Die Immunantwort
$69.99
Gynecologic Oncology
$169.99
Engendering History
$199.99
Standard Operating Procedures Analytical Chemistry and Metabolism
$39.99
