Anna a Language for Annotating Ada Programs: Reference Manual - Lecture Notes in Computer Science - David Luckham - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540179801 - 15 de julho de 1987

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

David Luckham
Anna a Language for Annotating Ada Programs: Reference Manual - Lecture Notes in Computer Science David Luckham 1987 edition

Name: Anna a Language for Annotating Ada Programs: Reference Manual - Lecture Notes in Computer Science
Price: 293.9 BRL
Availability: OutOfStock
Author: David Luckham

Preço

R$ 293,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 10 - 16 de jun

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Anna a Language for Annotating Ada Programs: Reference Manual - Lecture Notes in Computer Science

David Luckham

1987 edition

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs.

148 pages, biography

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	15 de julho de 1987
ISBN13	9783540179801
Editoras	Springer-Verlag Berlin and Heidelberg Gm
Páginas	148
Dimensões	155 × 233 × 8 mm · 226 g
Idioma	Inglês