Premium & Rewards Members 25% Off Pre-Order Books With Code PREORDER25 Ends 6/26 Shop Now Online only. See page for details.Premium & Rewards Members 25% Off Pre-Order Books With Code PREORDER25 Ends 6/26 Shop Now Online only. See page for details.
Add Item to wish listAdd Item to wish list

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

By Kazuhiro Ogata (Editor), Mark Lawford (Editor), Shaoying Liu (Editor)
eBook
$54.99
By Kazuhiro Ogata (Editor), Mark Lawford (Editor), Shaoying Liu (Editor)
Membership Card Icon
Collect stamps to save with Rewards. 10 stamps = $5. Learn More
Formats
Select a store to view item availability.

Available on compatible , the free NOOK App, and in My Digital Library

NOOK App

Download NOOK app

NOOK Devices

NOOK eReaders

  • NOOK GlowLight 4 Plus
  • NOOK GlowLight 4e
  • NOOK GlowLight 4
  • NOOK GlowLight Plus 7.8"
  • NOOK GlowLight 3
  • NOOK GlowLight Plus 6"

NOOK Tablets

  • NOOK 9" Lenovo Tablet
  • NOOK 10" HD Lenovo Tablet
  • NOOK Tablet 7" & 10.1"
  • NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
  • NOOK by Samsung [Tab 4 10.1, S2 & E]

Free NOOK Reading Apps

  • NOOK for iOS
  • NOOK for Android

BN.com website

Go to your Digital Library in My Account

Limit 1 per customer
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...

Categories

Computer ProgrammingSoftware EngineeringGeneral Software EngineeringSoftware development and engineering->General and miscellaneous