From Action Systems to Distributed Systems (e-bog) af -
Sekerinski, Emil (redaktør)

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
Forfattere Sekerinski, Emil (redaktør)
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