Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Refinement

Refinement

- Semantics, Languages and Applications

av John Derrick, Eerke Boiten
Refinement av John Derrick
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030064976
  • Format:
  • Häftad
  • Sidor:
  • 269
  • Utgiven:
  • 25. januari 2019
  • Utgåva:
  • 12018
  • Mått:
  • 155x235x15 mm.
  • Vikt:
  • 454 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 6. december 2024

Om John Derrick

Se alla böcker av John Derrick

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

Användarnas betyg av Refinement



Andra köpte även...
Hitta liknande böcker
Boken Refinement finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.