Related Books

CAFE: An Industrial-Strength Algebraic Formal Method
Language: en
Pages: 209
Authors: K. Futatsugi
Categories: Computers
Type: BOOK - Published: 2000-10-06 - Publisher: Elsevier

GET EBOOK

This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. Th
Formal Methods and Software Engineering
Language: en
Pages: 723
Authors: Jin Song Dong
Categories: Computers
Type: BOOK - Published: 2010-10-29 - Publisher: Springer Science & Business Media

GET EBOOK

Each paper was reviewed by at least three program committee members.
Recent Trends in Algebraic Development Techniques
Language: en
Pages: 353
Authors: Maura Cerioli
Categories: Computers
Type: BOOK - Published: 2002-01-23 - Publisher: Springer Science & Business Media

GET EBOOK

. . . . . . . . . . . . . . . . 328 D. Sannella AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Specification, Algebra, and Software
Language: en
Pages: 675
Authors: Shusaku Iida
Categories: Computers
Type: BOOK - Published: 2014-03-01 - Publisher: Springer

GET EBOOK

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods a
Algebraic Methodology and Software Technology
Language: en
Pages: 578
Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 2004-06-24 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirli