Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Numerisk analyse
  5. Softwaretestning
  6. Informationsteori
  7. Kodeteori og kryptologi
  8. Programmeringssprog og scriptsprog
  9. Guide to Software Verification with Frama-C: Core Components,...

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

(Bog, Hardback, Engelsk)
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Forlag: Springer International Publishing AG

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

Informationsteori Kodeteori og kryptologi Numerisk analyse Programmeringssprog og scriptsprog Softwaretestning
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2024 ed.
Udgivelsesdato 10-07-2024
Første udgivelsesår 2024
Serie Computer Science Foundations and Applied Logic
Illustrationer 69 Illustrations, color; 127 Illustrations, black and white; XXIV, 697 p. 196 illus., 69 illus. in color.
Fagredaktør Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Originalsprog Switzerland
Sideantal 697
Indbinding Hardback
Forlag Springer International Publishing AG
Sideoplysninger 697 pages, 69 Illustrations, color; 127 Illustrations, black and white; XXIV, 697 p. 196 illus., 69
Mål 163 x 243 x 47
ISBN-13 / EAN-13 9783031556074