21st annual Symposium on Foundations of Computer Science October 13-15, 1980, Syracuse, New York : [papers]

• Autor: Symposium on Foundations of Computer Science (21st 1980 Syracuse, New York)
• IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; Clarkson College of Technology
• Materias: Electronic data processing -- Congresses; Electronic digital computers -- Programming -- Congresses; Machine theory -- Congresses; Switching theory -- Congresses; Automata -- Congresses; TEORIA DA COMPUTAÇÃO
• Notas: Includes bibliographical references and index
  
• Editor: New York IEEE
  
• Fecha de creación: 1980
  
• Formato: vi, 421 p. ill.
  
• Idioma: Inglés