Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the subject's leading figures, provides a comprehensive survey of the subject beginning with proposotional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed to be used as a graduate text. There are exercises at the end of each chapter to extend and illustrate the main themes covered. Professor Schneier emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition. As a result, all those interested in studying concurrent computing will find this to be an invaluable approach to the subject.

Parallel programming (Computer science) --- Parallel programming (Computer science). --- Computer organization. --- Computer Systems Organization and Communication Networks. --- Organization, Computer --- Electronic digital computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer architecture. Operating systems --- Computer. Automation --- computerbesturingssystemen --- programmeren (informatica) --- architectuur (informatica)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer networks --- Telecommunication policy --- Internet --- Security measures --- Telecommunications --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Security measures. --- Computer network security --- Network security, Computer --- Security of computer networks --- Computer security --- E-books --- Computer networks - Security measures --- Telecommunication policy - United States --- Internet - Security measures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Information Technology --- Computer Science (Hardware & Networks)