Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Refinement

- Semantics, Languages and Applications

Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783030064976
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 269
  • Veröffentlicht:
  • 25. Januar 2019
  • Ausgabe:
  • 12018
  • Abmessungen:
  • 155x235x15 mm.
  • Gewicht:
  • 454 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von 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.

Kund*innenbewertungen von Refinement



Ähnliche Bücher finden
Das Buch Refinement ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.