Description: Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, Icfem 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings, Paperback by Merz, Stephan (EDT); Pang, Jun (EDT), ISBN 331911736X, ISBN-13 9783319117362, Like New Used, Free shipping in the US This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
Price: 76.16 USD
Location: Jessup, Maryland
End Time: 2025-01-17T01:43:07.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
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
Return policy details:
Book Title: Formal Methods and Software Engineering : 16th International Conf
Number of Pages: Xviii, 460 Pages
Language: English
Publication Name: Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Publisher: Springer International Publishing A&G
Publication Year: 2014
Subject: Programming / General, Software Development & Engineering / General, Compilers
Type: Textbook
Item Weight: 253.9 Oz
Subject Area: Computers
Item Length: 9.3 in
Author: Jun Pang
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
