Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada

• Autor: Peter E Lauer 1934-
• Assuntos: Electronic digital computers -- Programming -- Congresses; Functional programming (Computer science) -- Congresses; Parallel programming (Computer science) -- Congresses; Automatic theorem proving -- Congresses; Computer simulation -- Congresses; TÉCNICAS DE PROGRAMAÇÃO; PROGRAMAÇÃO FUNCIONAL; SOFTWARES; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
• Notas: Includes bibliographical references
  
• Títulos relacionados: Série:Lecture notes in computer science 693
• Editor: Berlin New York Springer-Verlag
  
• Data de criação/publicação: c1993
  
• Formato: x, 398 p. ill. 24 cm.
  
• Idioma: Inglês