Related Books
Language: en
Pages: 209
Pages: 209
Type: BOOK - Published: 2000-10-06 - Publisher: Elsevier
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. Th
Language: en
Pages: 723
Pages: 723
Type: BOOK - Published: 2010-10-29 - Publisher: Springer Science & Business Media
Each paper was reviewed by at least three program committee members.
Language: en
Pages: 353
Pages: 353
Type: BOOK - Published: 2002-01-23 - Publisher: Springer Science & Business Media
. . . . . . . . . . . . . . . . 328 D. Sannella AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Language: en
Pages: 675
Pages: 675
Type: BOOK - Published: 2014-03-01 - Publisher: Springer
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods a
Language: en
Pages: 578
Pages: 578
Type: BOOK - Published: 2004-06-24 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirli