Formal Methods: Industrial Use from Model to the Code (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Maskinteknik og materialer
  5. Formal Methods: Industrial Use from Model to the Code

Formal Methods: Industrial Use from Model to the Code

(Bog, Hardback, Engelsk)
Formal Methods: Industrial Use from Model to the Code
Forlag: ISTE Ltd and John Wiley & Sons Inc

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Maskinteknik og materialer
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag ISTE Ltd and John Wiley & Sons Inc
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 11-05-2012
Første udgivelsesår 2012
Fagredaktør Jean-Louis (Consultant) Boulanger
Originalsprog United Kingdom
Sideantal 384
Indbinding Hardback
Forlag ISTE Ltd and John Wiley & Sons Inc
Sideoplysninger 384 pages
Mål 164 x 241 x 27
ISBN-13 / EAN-13 9781848213623