Specification, algebra, and software : essays dedicated to Kokichi Futatsugi / Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)

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 le...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Other Authors:	Iida, Shusaku (Editor), Meseguer, José (Editor), Ogata, Kazuhiro (Editor), Futatsugi, Kokichi (honouree.)
Format:	eBook
Language:	English
Published:	Heidelberg : Springer, 2014.
Series:	Lecture notes in computer science ; 8373.
Subjects:	Computer science. Software engineering. Logic design.