CAFE: An Industrial-Strength Algebraic Formal Method: An Industrial-Strength Algebraic Formal Method Norman which are the basis of

which are the basis of plant

This thematic volume is on the topic of "Field-emission Source Mechanisms" and is authored by Kevin Jensen

Debates about the theory and practice of security management are less developed

In Silico introduces Maya programming into one of the most fascinating application areas of 3D graphics: biological visualization

signal-to-noise ratio

CAFE: An Industrial-Strength Algebraic Formal Method: An Industrial-Strength Algebraic Formal Method Norman which are the basis ofThis book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state of the art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The