Formal Techniques for Networked and Distributed Systems : Forte 2001.
Myungchul Kim, Myungchul.
Formal Techniques for Networked and Distributed Systems : Forte 2001. - 1st ed. - 1 online resource (472 pages) - IFIP Advances in Information and Communication Technology Series ; v.69 . - IFIP Advances in Information and Communication Technology Series .
Intro -- Contents.
9780306470035
Electronic data processing -- Distributed processing -- Congresses.
Electronic books.
TK5105.5-5105.9
004.36
Formal Techniques for Networked and Distributed Systems : Forte 2001. - 1st ed. - 1 online resource (472 pages) - IFIP Advances in Information and Communication Technology Series ; v.69 . - IFIP Advances in Information and Communication Technology Series .
Intro -- Contents.
9780306470035
Electronic data processing -- Distributed processing -- Congresses.
Electronic books.
TK5105.5-5105.9
004.36