Von dem Buch Refinement - Semantics, Languages and Applications haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: John Derrick; Eerke A. Boiten: Refinement - Semantics, Languages and Applications (ISBN: 9783319927091) Springer-Verlag Gmbh, in Deutsch, Broschiert.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
100%: John Derrick, Mitwirkende: Eerke Boiten: Refinement: Semantics, Languages and Applications (ISBN: 9783030064976) 2019, in Englisch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Refinement - Semantics, Languages and Applications - 7 Angebote vergleichen
Bester Preis: € 81,85 (vom 01.05.2018)1
Symbolbild
Refinement: Semantics, Languages and Applications (Paperback) (2019)
DE PB NW
ISBN: 9783030064976 bzw. 3030064972, in Deutsch, Springer, United States, Taschenbuch, neu.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: English. Brand new Book. Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. 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.
Language: English. Brand new Book. Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. 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.
2
Symbolbild
Refinement (2019)
DE NW RP
ISBN: 9783030064976 bzw. 3030064972, in Deutsch, Springer, neu, Nachdruck.
Von Händler/Antiquariat, Paperbackshop-US [8408184], Wood Dale, IL, U.S.A.
New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
3
Symbolbild
Refinement (2019)
DE NW RP
ISBN: 9783030064976 bzw. 3030064972, in Deutsch, Springer, neu, Nachdruck.
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, GLOS, United Kingdom.
New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
4
Symbolbild
Refinement - Semantics, Languages and Applications
DE HC NW
ISBN: 9783319927091 bzw. 3319927094, in Deutsch, Springer-Verlag Gmbh, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Refinement
DE NW
ISBN: 9783319927091 bzw. 3319927094, in Deutsch, Springer Nature, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Refinement: Semantics, Languages and Applications (2019)
EN PB NW
ISBN: 9783030064976 bzw. 3030064972, in Englisch, 292 Seiten, Springer, Taschenbuch, neu.
Lieferung aus: Deutschland, Noch nicht erschienen. Versandkostenfrei.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Refinement: Semantics, Languages and Applications
DE PB NW
ISBN: 9783030064976 bzw. 3030064972, in Deutsch, Springer Nature Customer Service Center Gmbh, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Refinement~~John-Derrick, Refinement: Semantics, Languages and Applications, Paperback.
Refinement~~John-Derrick, Refinement: Semantics, Languages and Applications, Paperback.
Lade…