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
Cities and City Planning
$54.99
Klimawirksame Kennzahlen Band I
$44.99
Evaluation of Novel Approaches to Software Engineering
$39.99
Pharmacological Properties of Native Plants from Argentina
$169.99
Field Guide to the Deep Sky Objects
$74.99
Handbook of Mathematics
$99.00
Zur Wirkungsweise der steroiden Hormone auf Wachstum und Differenzierung
$59.99
Omnichannel im Pharma-Vertrieb
$49.99
International Handbook of Research in Statistics Education
$799.99
Marktorientierte Unternehmenskultur
$59.99
The Palgrave International Handbook of Gender and the Military
$449.99
Die Stammesgeschichte der Primaten und die Entwicklung der Menschenrassen
$59.99
Luxury Fashion Retail Management
$219.99
Gottfried von Strassburg
$19.99
Bildverarbeitung fr die Medizin 2009
$109.00
Spinoza and the Sciences
$169.99
Privacy Technologies and Policy
$54.99
Polaritt und Inquale Teilung des Pflanzlichen Protoplasten
$59.99
Curating Islamic Art Worldwide
$69.99
LISP Lore: A Guide to Programming the LISP Machine
$219.99
Quantenmechanik
$69.99
Long-gap Esophageal Atresia
$84.99
The New Humor in the Progressive Era
$54.99
Innovative Methods in Horticultural Crop Improvement
$219.99
Linear Functional Analysis for Scientists and Engineers
$84.99
Proceedings of Ninth International Congress on Information and Communication Technology
$249.99
Nanotechnology-Enabled Sensors
$169.99
The Holy Spirit, Chi, and the Other
$54.99
Globalization and Transnational Academic Mobility
$54.99
Osteologie aktuell VIII
$69.99
Cellular Physiology and Metabolism of Physical Exercise
$109.99
Chemisch-physikalische Grundlagen der Verwendung von Erdl und seinen Produkten
$59.99
Polymer Modification
$169.99
ber den Ersatz der Narkose durch die Methoden der Lokalansthesie in der Urologischen Chirurgie
$54.99
Introducing Microsoft Flow
$64.99
Neurobiochemistry
$109.99
The Palgrave Handbook of Critical Human Resource Development
$249.99
English-Spanish First Little Readers: Guided Reading Level C (Single-Copy Set)
$17.99
Current Schizophrenia
$44.99
Surgery of the Stomach
$109.99
