Marknadens största urval
Snabb leverans

Böcker av John Derrick

Filter
Filter
Sortera efterSortera Populära
  • - Semantics, Languages and Applications
    av John Derrick & Eerke Boiten
    785,-

    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.

  • - Foundations and Advanced Applications
    av John Derrick & Eerke A. Boiten
    1 509,-

    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.

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.