Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science - David Luckham - Bøger - Springer-Verlag New York Inc. - 9781461396871 - 5. januar 2012
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 449

Bestilles fra fjernlager

Forventes klar til forsendelse 14. - 20. okt.
Modtag notifikation om nye David Luckham udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 5. januar 2012
ISBN13 9781461396871
Forlag Springer-Verlag New York Inc.
Antal sider 416
Mål 155 × 235 × 22 mm   ·   612 g
Sprog Engelsk  

Mere med David Luckham

Vis alle

Mere med samme udgiver

Se alt med David Luckham