Vi bøger
Levering: 1 - 2 hverdage

Practical Formal Software Engineering - Bruce Mills - Bog

- Wanting the Software You Get

Bag om Practical Formal Software Engineering

A textbook with a practical bent, for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781108818643
  • Indbinding:
  • Paperback
  • Sideantal:
  • 376
  • Udgivet:
  • 19. December 2019
  • Størrelse:
  • 187x246x22 mm.
  • Vægt:
  • 716 g.
  • 2-3 uger.
  • 23. Juli 2024
På lager

Normalpris

Medlemspris

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

Beskrivelse af Practical Formal Software Engineering

A textbook with a practical bent, for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.

Brugerbedømmelser af Practical Formal Software Engineering



Find lignende bøger
Bogen Practical Formal Software Engineering 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.