Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6. 1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

ISBN

9783540291893

$149.00

Format	Paperback
Details	Status:Active Record Product Type:Individual Title Volumes in Set:1 vol. Copyright Year:2005 Number of Pages:xii, 558 Illustrated:Yes Series Volume Number:3731 Media Class:Combination of Multiple Bindings LC Classification Number:QA75.5-76.95