Note:! If the content not Found, you must refresh this page manually or just wait 15 second to this page refresh automatically. As alternative try our Book Search Engine, click here

Concepts Techniques And Models Of Computer Programming


Download Now Read Online

Author by : Peter Van-Roy
Languange Used : en
Release Date : 2004
Publisher by : MIT Press

Teaching the science and the technology of programming as a unified discipline that shows the deep relationships between programming paradigms.

Programming Distributed Computing Systems


Download Now Read Online

Author by : Carlos A. Varela
Languange Used : en
Release Date : 2013-05-31
Publisher by : MIT Press

Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurre

Introduction To Computation And Programming Using Python


Download Now Read Online

Author by : John V. Guttag
Languange Used : en
Release Date : 2016-08-12
Publisher by : MIT Press

The new edition of an introductory text that teaches students the art of computational problem solving, covering topics ranging from simple algorithms to information visualization.

Principles Of Model Checking


Download Now Read Online

Author by : Christel Baier
Languange Used : en
Release Date : 2008-04-25
Publisher by : MIT Press

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One