Pastāsti draugiem par šo preci:
Refinement: Semantics, Languages and Applications John Derrick Softcover Reprint of the Original 1st 2018 edition
Refinement: Semantics, Languages and Applications
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2019. gada 25. janvāris |
| ISBN13 | 9783030064976 |
| Izdevēji | Springer Nature Switzerland AG |
| Lapas | 269 |
| Izmēri | 150 × 220 × 10 mm · 412 g |
| Valoda | Vācu |
Vairāk no John Derrick
Rādīt visuMere med samme udgiver
Skatīt visus John Derrick ( piem., Paperback Book un Hardcover Book )