Title: Program specification
Subjects: Specifications, Congresses, Computer programs, Spezifikation, KWIC, Langage programmation, Langage spécification, Programmierung, Programme distribué, Spécification programme, Congrès, TECTON, Spécifications, Logiciels, Réseau transmission, Construction géometrique, Softwarespezifikation, Congres