Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Name: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Brand: Springer Nature
SKU: 9783031197550
Availability: InStock

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783031197550

Condition

New

0 Reviews

0 Questions | 0 Answers

Product Description

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

Available Colors

N/A

Available Sizes

N/A

1 Offer Price Range: $59.99 - $59.99

BEST PRICE

Single Product Purchase

$54.00

@ Link.springer.com with extra coupon Get Coupon & BUY

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 Rate Seller This functionality is for registered users only. Go to Login/Register		$59.99	$59.99		10% OFF This deals requires coupon Get Code Here your10off @ Link.springer.com Deals Ends 31/08/2025	$54.00		See Site	In stock	Visit Store