Formal Methods For Interactive Systems (Computers and People Series), Author Unk

Neural and Concurrent Real Time Systems: The Sixth Generation, Branko Soucek

Concurrent Programming in ML de John H. Reppy

Software Design: Concepts and Methods, Wayne P. Stevens

Concurrent Programming in Java: Design Principles and Patterns, Doug Lea

Numerical Methods and Software Tools in Industrial Mathematics, A. Tveito et M.

The Specification and Design of Concurrent Systems, Percy Mett, David Crowe et P