
Fortæl dine venner om denne vare:
Refinement: Semantics, Languages and Applications Softcover reprint of the original 1st ed. 2018 edition
John Derrick
Pris
DKK 437
Bestilles fra fjernlager
Forventes klar til forsendelse 11. - 15. aug.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
Refinement: Semantics, Languages and Applications Softcover reprint of the original 1st ed. 2018 edition
John Derrick
It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
269 pages, 20 Tables, black and white; 39 Illustrations, black and white; XIX, 269 p. 39 illus.
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 25. januar 2019 |
ISBN13 | 9783030064976 |
Forlag | Springer Nature Switzerland AG |
Antal sider | 269 |
Mål | 446 g |
Sprog | Tysk |