Introducing Software Verification with Dafny Language: Proving Program Correctness (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Programmering: Microsoft
  5. Programmeringssprog og scriptsprog
  6. Informatik
  7. Introducing Software Verification with Dafny Language: Proving...

Introducing Software Verification with Dafny Language: Proving Program Correctness

(Bog, Paperback / softback, Engelsk)
Forfatter: Boro Sitnikovski
Introducing Software Verification with Dafny Language: Proving Program Correctness
Forlag: APress

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

Informatik Programmering: Microsoft Programmeringssprog og scriptsprog
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag APress
Forfatter Boro Sitnikovski
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed.
Udgivelsesdato 01-03-2022
Første udgivelsesår 2022
Illustrationer 104 Illustrations, black and white; XX, 131 p. 104 illus.
Originalsprog United States
Sideantal 131
Indbinding Paperback / softback
Forlag APress
Sideoplysninger 131 pages, 104 Illustrations, black and white; XX, 131 p. 104 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9781484279779