Noch Fragen? 0800 / 33 82 637

Refinement

Semantics, Languages and Applications

Produktform: Buch / Einband - flex.(Paperback)

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

Sprache(n): Englisch

ISBN: 978-3-030-06497-6 / 978-3030064976 / 9783030064976

Verlag: Springer International Publishing

Erscheinungsdatum: 25.01.2019

Seiten: 269

Auflage: 1

Autor(en): John Derrick, Eerke Boiten

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück