Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$49.50
@ Link.springer.com with extra coupon

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
$54.99 $54.99

10% OFF
This deals requires coupon
$49.50
See Site In stock Visit Store

Product Details

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

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Biomaterials as Green Flame Retardants

Biomaterials as Green Flame Retardants

$149.00
Zoe's Rescue Zoo: The Sleepy Snowy Owl

Zoe's Rescue Zoo: The Sleepy Snowy Owl

$4.13
Central Cholinergic Mechanisms and Adaptive Dysfunctions

Central Cholinergic Mechanisms and Adaptive Dysfunctions

$54.99
VOB/B nach Ansprchen

VOB/B nach Ansprchen

$64.99
Faunal Extinction in an Island Society

Faunal Extinction in an Island Society

$129.00
Hautkrankheiten und Syphilis im Suglings? und Kindesalter

Hautkrankheiten und Syphilis im Suglings? und Kindesalter

$59.99
The Measurement of Tax Progression

The Measurement of Tax Progression

$109.99
Marine Conservation Paleobiology

Marine Conservation Paleobiology

$109.00
Environmental Awareness in Preschool Childrens Drawings

Environmental Awareness in Preschool Childrens Drawings

$139.99
Applications in Electronics Pervading Industry, Environment and Society

Applications in Electronics Pervading Industry, Environment and Society

$129.00
Cisco

Cisco

$169.99
Leibniz and the Structure of Sciences

Leibniz and the Structure of Sciences

$119.00
Mutation, Cancer, and Malformation

Mutation, Cancer, and Malformation

$39.99
Paris-Princeton Lectures on Mathematical Finance 2004

Paris-Princeton Lectures on Mathematical Finance 2004

$54.99
Zellstrukturen und ihre Bedeutung fr die amboide Bewegung

Zellstrukturen und ihre Bedeutung fr die amboide Bewegung

$59.99
European Missions to the International Space Station

European Missions to the International Space Station

$44.99
Nonprofit-Organisationen und Mrkte

Nonprofit-Organisationen und Mrkte

$74.99
Methods of Cancer Diagnosis, Therapy and Prognosis

Methods of Cancer Diagnosis, Therapy and Prognosis

$309.00
Michel Foucault: Pdagogische Lektren

Michel Foucault: Pdagogische Lektren

$89.99
Applications in Reliability and Statistical Computing

Applications in Reliability and Statistical Computing

$199.99
When You Adopt: When You Adopt a Pandarina

When You Adopt: When You Adopt a Pandarina

$5.99
WALCOM: Algorithms and Computation

WALCOM: Algorithms and Computation

$39.99
Innovations in Computer Science and Engineering

Innovations in Computer Science and Engineering

$279.99
Researching Vocabulary

Researching Vocabulary

$109.99
Personalmanagement in Non-Profit-Organisationen

Personalmanagement in Non-Profit-Organisationen

$24.99
Beyond Calculation

Beyond Calculation

$24.99
Random Signals and Processes Primer with MATLAB

Random Signals and Processes Primer with MATLAB

$109.99
Cogeneration Fuel Cell-Sorption Air Conditioning Systems

Cogeneration Fuel Cell-Sorption Air Conditioning Systems

$84.99
ICM Millennium Lectures on Games

ICM Millennium Lectures on Games

$109.99
Gendered Spaces in Argentine Women's Literature

Gendered Spaces in Argentine Women's Literature

$54.99
Bariatric Surgery in Clinical Practice

Bariatric Surgery in Clinical Practice

$54.99
Rapid Analysis Techniques in Food Microbiology

Rapid Analysis Techniques in Food Microbiology

$129.00
Inductive Logic Programming

Inductive Logic Programming

$54.99
Soliton Coding for Secured Optical Communication Link

Soliton Coding for Secured Optical Communication Link

$54.99
Atomistic and Continuum Modeling of Nanocrystalline Materials

Atomistic and Continuum Modeling of Nanocrystalline Materials

$169.99
Methods for Researching Professional Learning and Development

Methods for Researching Professional Learning and Development

$129.00
Economic Spillovers, Structural Reforms and Policy Coordination in the Euro Area

Economic Spillovers, Structural Reforms and Policy Coordination in the Euro Area

$84.99
Morphogen Gradients

Morphogen Gradients

$109.99
Fungal Genomics

Fungal Genomics

$169.00
Modal Justification via Theories

Modal Justification via Theories

$89.99
previous
next