Electronic Books

Total Books: 1 - 1 /1
978-3-540-46220-0
Formal Techniques for Networked and Distributed Systems - FORTE 2006

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...

Continue reading
Total Books: 1 - 1 /1