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. Formal Methods

Formal Methods

- Industrial Use from Model to the Code

Formal Methods
Om Formal Methods

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781848213623
  • Format:
  • Inbunden
  • Sidor:
  • 384
  • Utgiven:
  • 11. maj 2012
  • Mått:
  • 241x164x27 mm.
  • Vikt:
  • 704 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 14. februari 2025

Beskrivning av Formal Methods

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.

Användarnas betyg av Formal Methods



Andra köpte även...
Hitta liknande böcker
Boken Formal Methods 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.