Generating counterexamples for Java dynamic logic
- Författare
- Muhammad Ali Shah
- (Muhammad Ali Shah.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högskola | 2005 | Sverige, Göteborg | 132 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högskola | 2005 | Sverige, Göteborg | 132 sidor. ill. |