Events, Things of Interest

SPIN 2008
The 15th International SPIN Workshop on Model Checking Software.
University of California - Los Angeles, August 10-12, 2008.
Register for participation!

New book: Logics of Specification Languages

A comprehensive text on nine mathematical specification languages
(ASM, B, CASL, CafeOBJ, DC, RAISE (RSL), TLA+, VDM, Z)

Monographs in Theoretical Computer Science. An EATCS Series, 2007
Bjorner, Dines; Henson, Martin C. (Editors)
624 p., Hardcover

Class