Utvidet returrett til 31. januar 2025

Refinement

- Semantics, Languages and Applications

Om 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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783030064976
  • Bindende:
  • Paperback
  • Sider:
  • 269
  • Utgitt:
  • 25. januar 2019
  • Utgave:
  • 12018
  • Dimensjoner:
  • 155x235x15 mm.
  • Vekt:
  • 454 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 27. desember 2024
Utvidet returrett til 31. januar 2025

Beskrivelse av 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.

Brukervurderinger av Refinement



Finn lignende bøker
Boken Refinement finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.