QED at Large av Talia Ringer, Karl Palmskog, Ilya Sergey, Gligo
828,-
Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.
Relaterte produkter
Vis flereVi har valgt ut en rekke interessante produkter i samme kategori som QED at Large av Talia Ringer, Karl Palmskog, Ilya Sergey, Gligo. Hvis du ikke finner noe interessant her kan du enkelt klikke på “vis flere”.
Produktinformasjon
- Alle prisene nevnt ovenfor er oppgitt i Norske kroner.
- Dette produktet er tilgjengelig hos Norli NO.
- Hos Norli NO kan du kjøpe QED at Large av Talia Ringer, Karl Palmskog, Ilya Sergey, Gligo for kun 828,-.
- Den laveste prisen på QED at Large av Talia Ringer, Karl Palmskog, Ilya Sergey, Gligo ble registrert 17. februar 2025 kl. 14:48.
Prisutvikling
Er den nåværende prisen et godt tilbud?
Grafen over prisutviklingen viser den laveste prisen over tid, eksklusiv fraktkostnader.
Prishistorikk for QED at Large av Talia Ringer, Karl Palmskog, Ilya Sergey, Gligo
Laveste pris
828,-
17 feb. 2025
Høyeste pris
828,-
17 feb. 2025