Parameterized verification of synchronized concurrent programs
- Författare
- Zeinab Ganjei
- (Zeinab Ganjei.)
- Genre
- theses
- Språk
- Engelska
![](https://images.amazon.com/images/P/9179296971.01.MZZZZZZZ.jpg)
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Department of Computer and Information Science, Linköping University | 2021 | Sverige, Linköping | xiii, 192 sidor illustrationer | 978-91-7929-697-1 |
Department of Computer and Information Science, Linköping University | 2021 | Sverige, Linköping | 1 onlineresurs (xiii,192 sidor) illustrationer |