Concurrent Programming, Open Systems and Formal Methods : Essays Dedicated to Gul Agha to Celebrate His Scientific Career
by Carlos A. Varela, Nalini Venkatasubramanian, Jose Meseguer Paperback 2025
- Author: Carlos A. Varela, Nalini Venkatasubramanian, Jose Meseguer
- ISBN 13: 9783032052902
- ISBN 10: 3032052904
- Publication Year: 2025
- Language: English
Specifications
| Index-10 | 3032052904 |
|---|---|
| Index-13 | 9783032052902 |
| Language | English |