Related Books

Hybrid Type Checking and Type Reconstruction for Executable Refinement Types
Language: en
Pages: 166
Authors: Kenneth L. Knowles
Categories:
Type: BOOK - Published: 2008 - Publisher:

DOWNLOAD EBOOK

Compiler Construction
Language: en
Pages: 459
Authors: William M. Waite
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book we are co
Introduction to Embedded Systems, Second Edition
Language: en
Pages: 562
Authors: Edward Ashford Lee
Categories: Computers
Type: BOOK - Published: 2017-01-06 - Publisher: MIT Press

DOWNLOAD EBOOK

An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems. The most visible us
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
PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021
Language: en
Pages: 297
Authors: Michael W. Whalen
Categories: Computers
Type: BOOK - Published: 2021-10-14 - Publisher: TU Wien Academic Press

DOWNLOAD EBOOK

Our life is dominated by hardware: a USB stick, the processor in our laptops or the SIM card in our smart phone. But who or what makes sure that these systems w