Idioma:

Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings

MPC 2004 (2004 (Stirling, Stirling, Scotland) Dexter Kozen 1951

Acesso online. A biblioteca também possui exemplares impressos.

Título:
Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14 2004 : proceedings
Autor: MPC 2004 (2004 (Stirling, Stirling, Scotland)
Dexter Kozen 1951
Assuntos: Computer programming -- Congresses; Computer science -- Mathematics -- Congresses; Computerwiskunde; Programmatuurtechniek; Informatique -- Math ematiques -- Congr es; Programmation (Informatique) -- Congr es; Programmation; Math ematique discr ete; TÉCNICAS DE PROGRAMAÇÃO (CONGRESSOS)
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 3125
Editor: Berlin Springer New York
Data de criação/publicação: c2004
Formato: x, 399 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados