De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Program Proofs

Program Proofs

af K. Rustan M. Leino
Program Proofs af K. Rustan M. Leino
Bag 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"--

Vis mere
  • Sprog:
  • Ukendt
  • ISBN:
  • 9780262546232
  • Indbinding:
  • Paperback
  • Sideantal:
  • 496
  • Udgivet:
  • 7. marts 2023
  • Størrelse:
  • 176x25x225 mm.
  • Vægt:
  • 766 g.
  • Ukendt - mangler pt..

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om K. Rustan M. Leino

Vis alle bøger af K. Rustan M. Leino

Beskrivelse af 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"--

Brugerbedømmelser af Program Proofs



Andre købte også..
Find lignende bøger
Bogen Program Proofs findes i følgende kategorier: