Title: Formal description techniques, VIII
First published: 1996
Subjects: Congresses, Computer network protocols, Electronic data processing, Distributed processing, Formal languages, Computer programming, Langages formels, Congrès, Protocoles de réseaux d'ordinateurs
LC classification: QA76.6 .I5315 1995