For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
IFIP TC6 WG61 Joint Inter...
IFIP TC6 WG61 Joint International Conference on Formal Description Techniques for Distributed System is the author of "Formal Methods for Distributed System Development".
Books by IFIP TC6 WG61 Joint Inter...
View more
Formal Methods fo...
IFIP TC6 WG6.1 Join...
Hardback:
$219.99