Rigorous Software Development: An Introduction to Program Verification (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematik til informatikfag
  5. Softwareudvikling
  6. Rigorous Software Development: An Introduction to Program...

Rigorous Software Development: An Introduction to Program Verification

(Bog, Paperback / softback, Engelsk)
Forfattere: Jose Bacelar Almeida, Maria Joao Frade, Jorge Sousa Pinto, Simao Melo de Sousa
Forlag: Springer London Ltd

Bemærk: Kan ikke garanteres før jul. Se dato på varen.

Forventes på lager: 13-12-2025

Levering: Kan forudbestilles (Forventes d. 13-12-2025)

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematik til informatikfag Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer London Ltd
Forfattere Jose Bacelar Almeida, Maria Joao Frade, Jorge Sousa Pinto, Simao Melo de Sousa
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Second Edition 2025
Udgivelsesdato 24-01-2026
Første udgivelsesår 2026
Serie Undergraduate Topics in Computer Science
Illustrationer 13 Illustrations, color; 47 Illustrations, black and white
Originalsprog United Kingdom
Sideantal 342
Indbinding Paperback / softback
Forlag Springer London Ltd
Sideoplysninger 342 pages, 13 Illustrations, color; 47 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9781447175575