From Action Systems to Distributed Systems
- 27 april 2016
- 9781040189351
Samenvatting:
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
€ 59,99
Bestel bij Bol.com >