zbMath0765.68003MaRDI QIDQ1202017
Manfred Broy
Publication date: 23 January 1993 Published in: Springer-Lehrbuch (Search for Journal in Brave)
zbMATH Keywords
algorithminformationdata structuresprogramming techniquesBNF
Mathematics Subject Classification ID
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)
Uses Software