Description - From Action Systems to Distributed Systems: The Refinement Approach by Luigia Petre
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
Buy From Action Systems to Distributed Systems: The Refinement Approach by Luigia Petre from Australia's Online Independent Bookstore, BooksDirect.
Other Editions - From Action Systems to Distributed Systems: The Refinement Approach by Luigia Petre
A Preview for this title is currently not available.