|  |
| |
| Artikel-Nr.:
5667A-9783030064976 Herst.-Nr.:
9783030064976 EAN/GTIN:
9783030064976 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | John Derrick; Eerke Boiten | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Language; Refinement; Z, B, Event-B, CSP; formal methods; semantic models, Formal methods, Refinement, Semantic models, Z, B, Event-B, CSP, Language |
| | |
| |