From Action Systems to Distributed Systems e-bog
403,64 DKK
(inkl. moms 504,55 DKK)
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society's infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert
E-bog
403,64 DKK
Forlag
Chapman and Hall/CRC
Udgivet
27 april 2016
Længde
312 sider
Genrer
Games development and programming
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9781498701594
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society's infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert