Formal Techniques for Networked and Distributed Systems - 9781475788259

Myungchul Kim - Formal Techniques for Networked and Distributed System - X555z

Wang - Formal Techniques for Networked and Distributed Systems - FORTE - X555z

Frutos-Escrig - Formal Techniques for Networked and Distributed System - X555z

Bolognesi - Formal Methods for Distributed System Development FORTE - X555z

Formal Techniques for Networked and Distributed Systems : Forte 2001 : Ifip T...

Suzuki - Formal Techniques for Networked and Distributed Systems - FOR - X555z

Derrick - Formal Techniques for Networked and Distributed Systems - Fo - X555z