Concurrency, Compositionality, and Correctness [electronic resource] Essays in Honor of Willem-Paul de Roever edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9783642115127
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |