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:
Buy Software Engineering and Formal Methods for $54.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$54.99 | 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
Einfhrung in die numerische Berechnung von Finanz-Derivaten
$54.99
Global Reconstruction and the Geomagnetic Field during the Palaeozic
$109.99
Reviews of Environmental Contamination and Toxicology 195
$169.99
Quantenmechanik in algebraischer Darstellung
$69.99
Politische Geschichte der Gegenwart
$59.99
Orthopdie des Sitzens
$99.99
Institutions and Market Economies
$109.99
Synchronisation in zentralisierten Datenbanksystemen
$69.99
Analytical Biotechnology
$129.00
Millimeter-Wave Integrated Circuits
$139.99
Behet Syndrome
$139.99
Mobile Hybrid Intrusion Detection
$84.99
Logistische Regression
$17.99
Visual Quantum Mechanics
$69.99
Tokenization in Real Estate
$49.99
Die Turbinen fr Wasserkraftbetrieb
$84.99
The Limits of Economic Science
$109.99
Smart Grids
$84.99
The Burdensharing Debate
$39.99
Advances in Intelligent Modelling and Simulation
$109.99
Doing Business in India
$84.99
Emergent Process Methods for High-Technology Ceramics
$109.99
Drug Delivery
$54.99
The Death of Death
$27.99
Forschungsbericht zur deutschen Literatur in nder Zeit des Realismus
$59.99
Transnational Mobilization and Domestic Regime Change
$39.99
Handbuch Migration und Erfolg
$139.00
Song for a Whale
$5.99
Understanding User-Web Interactions via Web Analytics
$19.99
Confucian Geopolitics
$39.99
Computational Physics
$109.99
Von der Unternehmensarchitektur zur IT-Governance
$84.99
Satellites and Their Regulation
$44.99
A Primer of Analytical Mechanics
$39.99
Analysis and Control of Nonlinear Process Systems
$39.99
Mathematica as a Tool
$69.99
Decision Support for Crew Rostering in Public Transit
$39.99
Business Continuity
$109.99
Autonomous Agents
$109.99
Finland's Holocaust
$109.99
