John Derrick Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Alle

• 

  PRIS

  483,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Refinement: Semantics, Languages and Applications (Bog, Paperback / softback, Engelsk)

  Af: 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... Læs mere

  PRIS

  483,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv
• 

  PRIS

  966,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Refinement in Z and Object-Z: Foundations and Advanced Applications (Bog, Paperback / softback, Engelsk)

  Af: John Derrick

  This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

  PRIS

  966,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv