Recomienda este artículo a tus amigos:
Refinement: Semantics, Languages and Applications John Derrick 1st ed. 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.
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 14 de septiembre de 2018 |
| ISBN13 | 9783319927091 |
| Editores | Springer International Publishing AG |
| Páginas | 269 |
| Dimensiones | 150 × 220 × 20 mm · 585 g |
| Lengua | Alemán |
Mas por John Derrick
Mostrar todoMere med samme udgiver
Ver todo de John Derrick ( Ej. Paperback Book y Hardcover Book )