S

Scott A. Smolka

7 books found

Books by Scott A. Smolka
Interactive computationScott A. Smolka
⏱ 8h 7m

Interactive computation

Scott A. Smolka

2006487 pp.
Concur '95 - Concurrency TheoryScott A. Smolka
⏱ 9h 7m

Concur '95 - Concurrency Theory

Scott A. Smolka

1995547 pp.
Runtime VerificationBorzoo Bonakdarpour
⏱ 6h 7m

Runtime Verification

Borzoo Bonakdarpour

2014367 pp.
Introduction to operating system design and implementationMichael Kifer
⏱ 2h 52m

Introduction to operating system design and implementation

Michael Kifer

2007172 pp.
Handbook of process algebraJ. A. Bergstra
⏱ 22h 29m

Handbook of process algebra

J. A. Bergstra

20011349 pp.
OSPMichael Kifer
⏱ 1h 26m

OSP

Michael Kifer

199186 pp.
Interactive ComputationDina Goldin
⏱ 8h 22m

Interactive Computation

Dina Goldin

2006502 pp.