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: 52.99 EUR
Availability: OutOfStock
Author: David Luckham

Cena

€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 2. - 10. júl

Naši zákazníci hovoria:

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

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa

Najvyššie hodnotenie na Trustpilot

Pridať do vášho zoznamu prianí na 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édium	Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané	05. januára 2012
ISBN13	9781461396871
Vydavatelia	Springer-Verlag New York Inc.
Strany	416
Rozmery	155 × 235 × 22 mm · 612 g
Jazyk	Angličtina