Diego Latella

Diego Latella is the author of "Integrated Formal Methods" and "Formal Methods for Distributed System Development".

Books by Diego Latella

Integrated Formal...
Derrick John
Paperback: $54.99

Formal Methods fo...
Bolognesi Tommaso
Paperback: $219.99

Formal Methods fo...
IFIP TC6 WG6.1 Join...
Hardback: $219.99

Integrated Formal...
Derrick John
Paperback: