Description: Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, Icfem 2006, Macao, China, November 1-3, 2006, Proceedings, Paperback by Liu, Zhiming (EDT); He, Jifeng (EDT), ISBN 3540474609, ISBN-13 9783540474609, Like New Used, Free shipping in the US This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.
Price: 128.28 USD
Location: Jessup, Maryland
End Time: 2024-12-16T21:03:23.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 : 8th International Confe
Number of Pages: Xii, 792 Pages
Language: English
Publication Name: Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
Publisher: Springer Berlin / Heidelberg
Subject: Software Development & Engineering / General, Computer Science, Compilers
Publication Year: 2006
Item Height: 0.5 in
Type: Textbook
Item Weight: 85.4 Oz
Author: Jifeng He, Zhiming Liu
Subject Area: Computers
Item Length: 9.3 in
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
