Recently Viewed

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

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

No reviews yet Write a Review
Booksplease Price: €55.00

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9783319478456
MPN:
9783319478456
Available from Booksplease!
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Availability: Usually dispatched within 4 working days
Ask Questions

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

Description

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.

Book Information
ISBN 9783319478456
Author Kazuhiro Ogata
Format Paperback
Page Count 486
Imprint Springer International Publishing AG
Publisher Springer International Publishing AG
Weight(grams) 7606g

Reviews

No reviews yet Write a Review

Related Titles

Advances in Energy Science and Equipment Engineering II Volume 2: Proceedings of the 2nd International Conference on Energy Equipment Science and Engineering (ICEESE 2016), November 12-14, 2016, Guangzhou, China by Shiquan Zhou

Advances in Energy Science and Equipment Engineering II Volume 2: Proceedings of the 2nd International Conference on Energy Equipment Science and Engineering (ICEESE 2016), November 12-14, 2016, Guangzhou, China by Shiquan Zhou

RRP: €55.92
Booksplease Price: €49.88
The 2016 2nd International Conference on Energy Equipment Science and Engineering (ICEESE 2016) will be held on November 12-14, 2016 in Guangzhou, China. ICEESE 2016 is to bring together innovative...
Add to Cart
Advances in Energy Science and Equipment Engineering II Volume 1: Proceedings of the 2nd International Conference on Energy Equipment Science and Engineering (ICEESE 2016), November 12-14, 2016, Guangzhou, China by Shiquan Zhou

Advances in Energy Science and Equipment Engineering II Volume 1: Proceedings of the 2nd International Conference on Energy Equipment Science and Engineering (ICEESE 2016), November 12-14, 2016, Guangzhou, China by Shiquan Zhou

RRP: €55.92
Booksplease Price: €49.88
The 2016 2nd International Conference on Energy Equipment Science and Engineering (ICEESE 2016) was held on November 12-14, 2016 in Guangzhou, China. ICEESE 2016 and brought together innovative...
Add to Cart

Booksplease  Reviews