Utvidet returrett til 31. januar 2025

Bøker av John Derrick

Filter
Filter
Sorter etterSorter Populære
  • - Semantics, Languages and Applications
    av John Derrick & Eerke Boiten
    717,-

    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 412,-

    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.

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.