Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday /
This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent...
Saved in:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Electronisk eBog |
| Sprog: | engelsk |
| Udgivet: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Udgivelse: | 1st ed. 2025. |
| Serier: | Lecture Notes in Computer Science,
15560 |
| Fag: | |
| Online adgang: | https://doi.org/10.1007/978-3-031-85134-6 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance: