Das Buch "Formal Description Techniques, IV" von G. A. Rose ist eine Sammlung wissenschaftlicher Arbeiten und Beiträge, die im Rahmen der IFIP-Konferenz präsentiert wurden. Der Fokus liegt auf formalen Beschreibungstechniken (FDTs), die...