Gå direkte til innholdet
Formal Techniques for Networked and Distributed Systems
Spar

Formal Techniques for Networked and Distributed Systems

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences.
Undertittel
FORTE 2001
Redaktør
Myungchul Kim
Opplag
Softcover reprint of the original 1st ed. 2002
ISBN
9781475788259
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
22.6.2013
Antall sider
464