Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Formal Software Development

Formal Software Development

- From VDM to Java

av Quentin Charatan, Aaron Kans
Formal Software Development av Quentin Charatan
Om Formal Software Development

This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780333992814
  • Format:
  • Häftad
  • Sidor:
  • 256
  • Utgiven:
  • 9. september 2003
  • Mått:
  • 191x246x15 mm.
  • Vikt:
  • 476 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 16. december 2024

Om Quentin Charatan

Se alla böcker av Quentin Charatan

Beskrivning av Formal Software Development

This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software.

Användarnas betyg av Formal Software Development



Andra köpte även...
Hitta liknande böcker
Boken Formal Software Development finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.