Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science - David Luckham - Livros - Springer-Verlag New York Inc. - 9781461396871 - 5 de janeiro de 2012

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
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science David Luckham Softcover reprint of the original 1st ed. 1990 edition

Name: Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science
Price: 50.99 EUR
Availability: OutOfStock
Author: David Luckham

Preço

€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 12 - 22 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

Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science

David Luckham

Softcover reprint of the original 1st ed. 1990 edition

Topics * what this book is about, * its intended audience, * what the reader ought to know, * how the book is organized, * acknowledgements. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications.

416 pages, biography

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	5 de janeiro de 2012
ISBN13	9781461396871
Editoras	Springer-Verlag New York Inc.
Páginas	416
Dimensões	155 × 235 × 22 mm · 612 g
Idioma	Inglês