We a good story
Quick delivery in the UK

Refinement

- Semantics, Languages and Applications

About Refinement

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783030064976
  • Binding:
  • Paperback
  • Pages:
  • 269
  • Published:
  • January 24, 2019
  • Edition:
  • 12018
  • Dimensions:
  • 155x235x15 mm.
  • Weight:
  • 454 g.
Delivery: 1-2 weeks
Expected delivery: November 28, 2024

Description of Refinement

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.

User ratings of Refinement



Find similar books
The book Refinement can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.