skip to main content
Refinado por: assunto: Machine Theory remover assunto: Abstract Programming remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

An abstract programming language and correctness proofs

Liu, Shaoying

Computer Languages, 1993, Vol.18(4), pp.273-282 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Liu, Shaoying
  2. Liu, S
  3. Shaoying Liu
  4. Liu, Sy

Buscando em bases de dados remotas. Favor aguardar.