Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer Nature
SKU: 9783030587680
Availability: InStock

Best Price:
Buy Software Engineering and Formal Methods for $44.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.

1 Offer Price Range: $44.99 - $44.99

BEST PRICE

Single Product Purchase

$44.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		$44.99	$44.99			$44.99		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783030587680

Condition

New

Product Description

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Available Colors

N/A

Available Sizes

N/A