Books of Jüri Vain

Formal techniques for networked and distributed systems-- FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings

Published on: 2007

Beginner Venture Capital English

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and …

Formal Methods Distributed Systems Protocol Verification Network Design Conference Proceedings

Page 1 of 1