FFormal Techniques for Distributed SystemsFormal Techniques for Distributed Systemsde John Hatcliff, Elena ZuccaEdiciones (1)Formal Techniques for Distributed Systems (2010)Springer London, Limited · inglés · ISBN 9783642134647Más obras de John HatcliffTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems