New Arrivals/Restock

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, ... ... Notes in Computer Science Book 10009)

flash sale iconLimited Time Sale
Until the end
00
30
29

US$28.44 cheaper than the new price!!

Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
Used  US$18.96
quantity

Product details

Management number 232087007 Release Date 2026/06/18 List Price US$18.96 Model Number 232087007
Category

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. Read more

ASIN B01M4Q825K
XRay Not Enabled
ISBN13 978-3319478463
Edition 1st ed. 2016
Language English
File size 20.9 MB
Page Flip Enabled
Publisher Springer
Word Wise Not Enabled
Print length 952 pages
Accessibility Learn more
Screen Reader Supported
Publication date October 31, 2016
Enhanced typesetting Enabled

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Product Review

You must be logged in to post a review