Sanjit A. Seshia

Sanjit A. Seshia

Sanjit A. Seshia is Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He is part of Group in Logic and the Methodology of Science which develops theory and tools to aid the construction of provably dependable and secure systems. Their work spans several abstraction layers, from mathematical models, through software, to electronic and biological substrates.

Back to all authors

Books Authored by Sanjit A. Seshia

Introduction to Embedded Systems - A Cyber-Physical Systems Approach, First Edition

Post date: 29 Dec 2016
This book is intended for students at the advanced undergraduate level or the introductory graduate level, and for practicing engineers and computer scientists who wish to understand the engineering principles of embedded systems.
Publication date: 31 Dec 2011
Document Type: Textbook
 
Introduction to Embedded Systems - A Cyber-Physical Systems Approach, First Edition

Introduction to Embedded Systems - A Cyber-Physical Systems Approach, First Edition

Post date: 29 Dec 2016
This book is intended for students at the advanced undergraduate level or the introductory graduate level, and for practicing engineers and computer scientists who wish to understand the engineering principles of embedded systems.
Publication date: 31 Dec 2011
Document Type: Textbook


Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition

Post date: 22 Dec 2016
This book takes a cyber-physical approach to introduce the engineering concepts underlying embedded systems. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes.
Publisher: The MIT Press
Publication date: 30 Dec 2016
Document Type: Textbook
 
Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition

Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition

Post date: 22 Dec 2016
This book takes a cyber-physical approach to introduce the engineering concepts underlying embedded systems. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes.
Publisher: The MIT Press
Publication date: 30 Dec 2016
Document Type: Textbook


Book Categories