Books by Scott A. Smolka

Cover of Runtime Verification

Runtime Verification

by Borzoo Bonakdarpour, Scott A. Smolka

2014

Cover of Introduction to operating system design and implementation

Introduction to operating system design and implementation

by Michael Kifer, Scott A. Smolka

2007

Cover of Handbook of process algebra

Handbook of process algebra

by J. A. Bergstra, Scott A. Smolka

2001

Cover of Interactive Computation

Interactive Computation

by Dina Goldin, Scott A. Smolka, Peter Wegner

2006

Cover of Interactive computation

Interactive computation

by Scott A. Smolka, Peter Wegner

2006

Can't find the book you're looking for? Let us know — it helps us improve.