Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware s

Convenient access to information from every area of mathematics: Fourier transforms, Z transforms, linear and nonlinear programming, calculus of variations, ran

Accessible but rigorous, this outstanding text encompasses all of the topics covered by a typical course in elementary abstract algebra. Its easy-to-read treatm

This guide book to mathematics contains in handbook form the fundamental working knowledge of mathematics which is needed as an everyday guide for working scien