Sanjit A. Seshia

ספרים שבהם Sanjit A. Seshia מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Verified Software : Theories, Tools, and ExperimentsArie Gurfinkel

Verified Software : Theories, Tools, and Experiments

Arie Gurfinkel · 2016

Introduction to Embedded SystemsEdward A. Lee

Introduction to Embedded Systems

Edward A. Lee · 2016