Related Books

Specification and Analysis of Concurrent Systems
Language: en
Pages: 487
Authors: Ryszard Janicki
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notat
Concurrent Programming
Language: en
Pages: 254
Authors: C. R. Snow
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This textbook is designed as a first book on concurrent programming for computer science undergraduates, and provides a comprehensive introduction to the proble
Real World Haskell
Language: en
Pages: 714
Authors: Bryan O'Sullivan
Categories: Computers
Type: BOOK - Published: 2008-11-15 - Publisher: "O'Reilly Media, Inc."

DOWNLOAD EBOOK

This easy-to-use, fast-moving tutorial introduces you to functional programming with Haskell. You'll learn how to use Haskell in a variety of practical ways, fr
Parallel and Concurrent Programming in Haskell
Language: en
Pages: 322
Authors: Simon Marlow
Categories: Computers
Type: BOOK - Published: 2013-07-12 - Publisher: "O'Reilly Media, Inc."

DOWNLOAD EBOOK

If you have a working knowledge of Haskell, this hands-on book shows you how to use the languageā€™s many APIs and frameworks for writing both parallel and conc
Programming from Specifications
Language: en
Pages: 360
Authors: Carroll Morgan
Categories: Computers
Type: BOOK - Published: 1994 - Publisher:

DOWNLOAD EBOOK

Providing a thorough treatment of most elementary program development techniques, this revised edition covers topics such as procedures, parameters, recursion a