Your Waterstones card is changing, introducing...
TELL ME MORE
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings - Lecture Notes in Computer Science 10009 (Paperback)
  • Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings - Lecture Notes in Computer Science 10009 (Paperback)
zoom

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

(editor), (editor), (editor)
£59.99
Paperback 486 Pages / Published: 15/10/2016
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer International Publishing AG
ISBN: 9783319478456
Number of pages: 486
Weight: 7606 g
Dimensions: 235 x 155 x 26 mm
Edition: 1st ed. 2016

You may also be interested in...

Designing Data-Intensive Applications
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Clean Code
Added to basket
£36.99
Paperback
Kanban
Added to basket
£33.55
Paperback
User Stories Applied
Added to basket
£40.99
Paperback
Peopleware
Added to basket
£32.99
Paperback
Test Driven Development
Added to basket
Design Patterns
Added to basket
£43.99
Hardback
User Story Mapping
Added to basket
£27.99
Paperback
Essential Scrum
Added to basket
£36.99
Paperback
Coaching Agile Teams
Added to basket
Git Pocket Guide
Added to basket
Implementing Domain-Driven Design
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.