Title: Formal description techniques, VII
First published: 1995
Subjects: Congresses, Electronic data processing, Distributed processing, Formal languages, Protocols, Traitement réparti, Congrès, Langages formels, Protocoles de réseaux d'ordinateurs
LC classification: QA76.6 .I5315 1994