Developments in Concurrency and Communication (The Year of Programming series) - Hardcover

 
9780201172324: Developments in Concurrency and Communication (The Year of Programming series)

Synopsis

Based on the U. of Texas Year of Programming institutes in 1987, this book focuses on the specification, design, and implementation of concurrent computer systems, including both software and hardware. Contributed chapters present a unified theory for program development, as well as applications of formal methods to the design of integrated circuit

"synopsis" may belong to another edition of this title.