Formal Methods and Software Engineering - 9783030324087

Description: Formal Methods and Software Engineering Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5?9, 2019, Proceedings Author(s): Yamine Ait-Ameur, Shengchao Qin Format: Paperback Publisher: Springer Nature Switzerland AG, Switzerland Imprint: Springer Nature Switzerland AG ISBN-13: 9783030324087, 978-3030324087 Synopsis This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.?The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.?

Price: 39.47 GBP

Location: Aldershot

End Time: 2024-11-29T09:11:35.000Z

Shipping Cost: 25.38 GBP

Product Images

Item Specifics

Return postage will be paid by: Buyer

Returns Accepted: Returns Accepted

After receiving the item, your buyer should cancel the purchase within: 60 days

Return policy details:

Book Title: Formal Methods and Software Engineering

Item Height: 235 mm

Item Width: 155 mm

Series: Programming and Software Engineering

Author: Yamine Ait-Ameur, Shengchao Qin

Publication Name: Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Format: Paperback

Language: English

Publisher: Springer Nature Switzerland A&G

Subject: Computer Science

Publication Year: 2019

Type: Textbook

Item Weight: 836 g

Number of Pages: 528 Pages