|
Showing 1 - 2 of
2 matches in All Departments
This Festschrift volume, published in honor of Kokichi Futatsugi,
contains 31 invited contributions from internationally leading
researchers in formal methods and software engineering. Prof.
Futatsugi is one of the founding fathers of the field of algebraic
specification and verification and is a leading researcher in
formal methods and software engineering. He has pioneered and
advanced novel algebraic methods and languages supporting them such
as OBJ and CafeOBJ and has worked tirelessly over the years to
bring such methods and tools in contact with software engineering
practice. This volume contains contributions from internationally
leading researchers in formal methods and software engineering.
|
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Paperback, 1st ed. 2016)
Kazuhiro Ogata, Mark Lawford, Shaoying Liu
|
R2,362
R1,212
Discovery Miles 12 120
Save R1,150 (49%)
|
Ships in 9 - 15 working days
|
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.
|
You may like...
Sacred Poems
Robert Grant
Paperback
R325
Discovery Miles 3 250
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.