Copied Software Engineering and Formal Methods
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
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
|
|
$69.99 | $69.99 |
|
$69.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
British Cultural Diplomacy in South Africa, 19601994
$129.99
Yearbook of Intensive Care and Emergency Medicine 2000
$54.99
Differential Analysis on Complex Manifolds
$64.95
Genetic Engineering
$84.99
Human Resources Management
$44.99
Rhys Matters
$54.99
Biogeochemical Monitoring in Catchments
$84.99
Verdauungsdrsen
$59.99
Personalmanagement
$59.99
The Properties of Optical Glass
$259.00
Theory, Change and Southern Africa
$39.99
Vernderungen am Lymphatischen Apparat Infolge Arsenvergiftung
$54.99
The Reconquest Kings of Portugal
$169.99
Multivariate statistische Analyse von Gesundheitsdaten sterreichischer Sozialversicherungstrger
$84.99
Entrepreneurship Skill Building
$139.99
Cataclysmic Variables. Recent Multi-Frequency Observations and Theoretical Developments
$169.00
Was Marken leisten knnten
$69.99
Anarbeitungsleistungen als Marketinginstrumente im Technischen Handel
$49.99
The Ubiquitin Code
$109.00
My First Fairy Tales: Chicken Little
$4.46
Handbuch Jahresabschlussprfung
$119.00
Active and Passive Vibration Control of Structures
$84.99
Form der wissenschaftlichen Ausarbeitung
$14.99
Globalisierung, Vernetzung und Erwerbsarbeit
$59.99
Charging the Internal Combustion Engine
$169.99
Ecoscenography
$89.00
Apoptosis Methods in Pharmacology and Toxicology
$84.99
Applied Optical Measurements
$109.99
Manual der Pharmazeutischen Zeitung
$84.99
Verantwortungsvolle Steuerung und Leitung ffentlicher Unternehmen
$79.99
Grundkurs Theoretische Physik 5 Quantenmechanik
$44.99
Formation Evaluation
$39.99
Latin American Perspectives on Law and Religion
$129.00
Domestication of Radiata Pine
$189.00
State, Globalization and Multilateralism
$169.99
Schulsozialarbeit steuern
$39.99
Considerations for a Post-COVID-19 Technology and Innovation Ecosystem in China
$139.99
Business Essentials for Strategic Communicators
$99.99
Hierarchical Decision Modeling
$84.99
Women, Celebrity and Cultures of Ageing
$54.99
