logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte XIII) and Protocol Specification, Testing and... - Tommaso Bolognesi, Diego Latella
Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte XIII) and Protocol Specification, Testing and...
by: (author) (author)
Format: hardcover
ISBN: 9780792379683 (0792379683)
Publisher: Springer
Pages no: 408
Edition language: English
Bookstores:
Other editions (1)
Books by Tommaso Bolognesi
Books by Diego Latella
Share this Book
Need help?