Tipsa dina vänner om produkten:
Refinement: Semantics, Languages and Applications 1st ed. 2018 edition
John Derrick
Pris
SEK 709
Beställningsvara
Förväntad leverans 10 - 22 okt
Lägg till din iMusic-önskelista
Refinement: Semantics, Languages and Applications 1st ed. 2018 edition
John Derrick
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.
269 pages, 20 Tables, black and white; 39 Illustrations, black and white; XIX, 269 p. 39 illus.
Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
Releasedatum | 14 september 2018 |
ISBN13 | 9783319927091 |
Utgivare | Springer International Publishing AG |
Antal sidor | 269 |
Mått | 585 g |
Språk | Tyska |
Visa alla
Fler produkter med John Derrick
Se alt med John Derrick ( t.ex. Pocketbok och Inbunden Bok )