Edinburgh LCF a mechanised logic of computation

Michael J. C. Gordon 1948- R Milner 1934- (Robin); Christopher P Wadsworth

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.78 e.1 )(Acessar)

Título:
Edinburgh LCF a mechanised logic of computation
Autor: Michael J. C. Gordon 1948-
R Milner 1934- (Robin); Christopher P Wadsworth
Assuntos: Edinburgh LCF (Computer system); Computable functions -- Data processing; CIÊNCIA DA COMPUTAÇÃO
Notas: Bibliography: p. [153]-157
Títulos relacionados: Série:Lecture notes in computer science 78
Editor: Berlin New York Springer-Verlag
Data de criação/publicação: 1979
Formato: viii, 159 p. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 6 Avançar Ir para próxima página