Specification, Algebra, and Software : essays dedicated to Kokichi Futatsugi

Author(s)

Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)

（Lecture notes in computer science, 8373 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Festschrift）

Springer, c2014

Includes bibliographical references and index

NCID
BB17926780
ISBN
- 9783642546235
LCCN
2014932844
Country Code
gw
Title Language Code
eng
Text Language Code
eng
Place of Publication
Heidelberg
Pages/Volumes
xxi, 656 p.
Size
24 cm
Classification
- DC23 : 005.1
Subject Headings
- LCSH : Software engineering
- LCSH : Formal methods (Computer science)
Parent Bibliography ID
- BA00009279