Formal Methods: State of the Art and New Directions

Name: Formal Methods: State of the Art and New Directions
Brand: Springer Nature
SKU: 9781848827356
Availability: InStock

Formal Methods: State of the Art and New Directions

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9781848827356

Condition

New

0 Reviews

0 Questions | 0 Answers

Product Description

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications. Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material. This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field. The website www.fmsand.info is a useful resource, providing material associated with the book and links to further related information.

Available Colors

N/A

Available Sizes

N/A

1 Offer Price Range: $109.99 - $109.99

BEST PRICE

Single Product Purchase

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