Refinement in Z and Object-Z
Foundations and Advanced Applications
af John Derrick, m.fl.
Bog, Paperback, Engelsk, 2015
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.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO764,95 kr.Gratis fragtUkendtKøb for 764,95 kr.Køb
- Bogreolen1.123,95 kr.0,00 kr.2-4 ugerKøb for 1.123,95 kr.Køb
- Tales1.124,95 kr.34,95 kr.2-4 ugerKøb for 1.124,95 kr.Køb
- Pling BØGER1.124,95 kr.34,95 kr.2-4 ugerKøb for 1.124,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingPaperback
- ISBN9781447161677
- Udgivet23/08/2015
- Udgivet afSpringer London Ltd
- Længde492 sider
- ForfattereJohn Derrick, Eerke A. Boiten
- GenreBusiness og læring, Computer og IT