Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Name: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Brand: Springer Nature
SKU: 9783031198489
Availability: InStock

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783031198489

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: $79.99 - $79.99

BEST PRICE

Single Product Purchase

$72.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		$79.99	$79.99		10% OFF This deals requires coupon Get Code Here your10off @ Link.springer.com Deals Ends 31/08/2025	$72.00		See Site	In stock	Visit Store