Refinement - Semantics, Languages and Applications
- Författare
- John. Derrick
- (John Derrick, Eerke Boiten.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer International Publishing, Imprint: Springer | 2018 | Tyskland, Cham | XIX, 269 sidor. 39 illus. online resource. | 978-3-319-92711-4 |