Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030921248
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $69.99 - $69.99
BEST PRICE

Single Product Purchase

$69.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$69.99 $69.99

$69.99
See Site In stock Visit Store

Similar Products

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