Utvidet returrett til 31. januar 2025

Formal Methods

- Industrial Use from Model to the Code

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781848213623
  • Bindende:
  • Hardback
  • Sider:
  • 384
  • Utgitt:
  • 11. mai 2012
  • Dimensjoner:
  • 241x164x27 mm.
  • Vekt:
  • 704 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse 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.

Brukervurderinger av Formal Methods



Finn lignende bøker
Boken Formal Methods finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.