Scott A. Smolka

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

Introduction to operating system design and implementationMichael Kifer

Introduction to operating system design and implementation

Michael Kifer · 2007

Runtime VerificationBorzoo Bonakdarpour

Runtime Verification

Borzoo Bonakdarpour · 2014

Interactive ComputationDina Goldin

Interactive Computation

Dina Goldin · 2006

Handbook of process algebraJ. A. Bergstra

Handbook of process algebra

J. A. Bergstra · 2001

OSPMichael Kifer

OSP

Michael Kifer · 1991