Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Program Proofs

Program Proofs

av K. Rustan M. Leino
Program Proofs av K. Rustan M. Leino
Om Program Proofs

"The book shows what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs"--

Visa mer
  • Språk:
  • Okänt
  • ISBN:
  • 9780262546232
  • Format:
  • Häftad
  • Sidor:
  • 496
  • Utgiven:
  • 7. mars 2023
  • Mått:
  • 176x25x225 mm.
  • Vikt:
  • 766 g.
  I lager
Leveranstid: 4-7 vardagar
Förväntad leverans: 14. juli 2025

Om K. Rustan M. Leino

Se alla böcker av K. Rustan M. Leino

Beskrivning av Program Proofs

"The book shows what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs"--

Användarnas betyg av Program Proofs



Andra köpte även...
Hitta liknande böcker
Boken Program Proofs finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.