Related Books

Real-time Systems and Their Programming Languages
Language: en
Pages: 600
Authors: Alan Burns
Categories: Computers
Type: BOOK - Published: 1990 - Publisher: Addison Wesley Publishing Company

DOWNLOAD EBOOK

A survey of real-time systems and the programming languages used in their development. Shows how modern real-time programming techniques are used in a wide vari
Advanced Topics in Types and Programming Languages
Language: en
Pages: 589
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 2024-07-02 - Publisher: MIT Press

DOWNLOAD EBOOK

A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now
Types and Programming Languages
Language: en
Pages: 646
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 2002-01-04 - Publisher: MIT Press

DOWNLOAD EBOOK

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er
Programming Distributed Computing Systems
Language: en
Pages: 291
Authors: Carlos A. Varela
Categories: Computers
Type: BOOK - Published: 2013-05-31 - Publisher: MIT Press

DOWNLOAD EBOOK

An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.
Programming with Types
Language: en
Pages: 531
Authors: Vlad Riscutia
Categories: Computers
Type: BOOK - Published: 2019-10-31 - Publisher: Simon and Schuster

DOWNLOAD EBOOK

Summary Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power