كتاب إلكتروني
Towards an Algebra for Unifying Theories of Concurrent Programming (UTCP)
| العنوان: | Towards an Algebra for Unifying Theories of Concurrent Programming (UTCP) |
|---|---|
| المؤلفون: | Butterfield, AndrewAff9 |
| المساهمون: | Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Foster, Simon, editorAff7, Sampaio, Augusto, editorAff8 |
| المصدر: | The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. 14900:203-232 |
| قاعدة البيانات: | Springer Nature eBooks |
كن أول من يترك تعليقا!