HOME View All Genre

Book

Audiobook

GENRES 🌙 Dark

From Action Systems to Distributed Systems - Luigia Petre & Emil Sekerinski

By Luigia Petre & Emil Sekerinski

Release Date: 2016-04-27

Genre: Programming

(0 ratings)
Read Download
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

From Action Systems to Distributed Systems - Luigia Petre & Emil Sekerinski

By Luigia Petre & Emil Sekerinski

Release Date: 2016-04-27

Genre: Programming

(0 ratings)
Read Download
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

More by Luigia Petre & Emil Sekerinski

Formal Methods Teaching

From Action Systems to Distributed Systems

Related Articles