Vlisp a Verified Implementation of Scheme - Guttman - Livros - Kluwer Academic Publishers - 9780792395669 - 31 de maio de 1995
Caso a capa e o título não sejam correspondentes, considere o título como correto

Guttman
Vlisp a Verified Implementation of Scheme Reprinted from Lisp and Symbolic Computation, an I edition

Preço
R$ 988,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 23 de set - 5 de out
Receba avisos sobre novos lançamentos de Guttman

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

The VLISP project undertook to provide a rigorous verification of a programming language. The project began at the MITRE Corporation in late 1989 under the company's Technology Program. The work was supervised by the Rome Laboratory of the US Air Force. This title extracts re-usable conclusions from the work at two, quite different levels.

184 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de maio de 1995
ISBN13 9780792395669
Editoras Kluwer Academic Publishers
Páginas 184
Dimensões 155 × 235 × 12 mm   ·   553 g
Editor Gutmann, Joshua D.
Editor Wand, Mitchell

Mais da mesma editora

Ver tudo de Guttman