Description: Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, Icfem 2020, Singapore, Singapore, March 1-3, 2021, Proceedings, Paperback by Lin, Shang-wei (EDT); Hou, Zhe (EDT); Mahony, Brendan (EDT), ISBN 3030634051, ISBN-13 9783030634056, Like New Used, Free shipping in the US This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.
Price: 66.22 USD
Location: Jessup, Maryland
End Time: 2024-09-21T01:51:09.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Formal Methods and Software Engineering : 22nd International Conf
Number of Pages: Xi, 335 Pages
Publication Name: Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
Language: English
Publisher: Springer International Publishing A&G
Subject: Software Development & Engineering / General, Computer Science, Enterprise Applications / General
Publication Year: 2020
Item Weight: 19 Oz
Type: Textbook
Subject Area: Computers
Author: Zhe Hou
Item Length: 9.3 in
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
