Algorithmic verification techniques for mobile code
- Författare
- Irem Aktug
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Datavetenskap och kommunikation, Kungliga Tekniska högskolan | 2008 | Sverige, Stockholm | ix, 193 sidor. | 978-91-7415-123-7 |
| KTH | 2008 | Sverige, Stockholm | ix, 193 |