TY - BOOK ED - IEEE Computer Society Technical Committee on Mathematical Foundations of Computing. ED - Symposium on Foundations of Computer Science TI - Proceedings of thirty-eighth annual symposium on foundations of computer science SN - 0818681977 U1 - 004 23 PY - 1997///. CY - Los Alamitos, California : PB - IEEE Computer Society KW - Electronic data processing KW - Congresses. KW - Machine theory KW - Congresses N2 - This text covers the 38th Symposium on Foundations of Computer Science (FOCS '97). It concentrates on the subject of software design and development, and is suitable for students, researchers, professors and other computing professionals ER -