Refinement: Semantics, Languages and Applications - John Derrick - Bøger - Springer Nature Switzerland AG - 9783030064976 - 25. januar 2019
Ved uoverensstemmelse mellem cover og titel gælder titel

Refinement: Semantics, Languages and Applications Softcover reprint of the original 1st ed. 2018 edition

John Derrick

Pris
DKK 437

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 15. aug.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

Refinement: Semantics, Languages and Applications Softcover reprint of the original 1st ed. 2018 edition

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.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 25. januar 2019
ISBN13 9783030064976
Forlag Springer Nature Switzerland AG
Antal sider 269
Mål 446 g
Sprog Tysk  

Vis alle

Mere med John Derrick