Udvidet returret til d. 31. januar 2025

Programming with Specifications - David Luckham - Bog

- An Introduction to ANNA, A Language for Specifying Ada Programs

Bag om Programming with Specifications

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781461396871
  • Indbinding:
  • Paperback
  • Sideantal:
  • 416
  • Udgivet:
  • 5. januar 2012
  • Udgave:
  • 11990
  • Størrelse:
  • 234x156x22 mm.
  • Vægt:
  • 663 g.
  • 8-11 hverdage.
  • 6. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Programming with Specifications

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.

Brugerbedømmelser af Programming with Specifications



Find lignende bøger
Bogen Programming with Specifications findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.