Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM104354
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Formal Verification of Programs / Battyányi Péter
Dátum:2014
Megjegyzések:This course material is an introduction to some of the most relevant techniques and methods of proving correctness of programs. The approach is assertional, we take the logical standpoint: specifications are formulated as pairs of sets of program states and we seek the proof for the correctness of programs in a formal logical setting: either by model theoretic reasoning or as a result of a formal derivation in a deduction system.
Tárgyszavak:Természettudományok Matematika- és számítástudományok pályázati anyag
egyéb
Pályázati támogatás:TAMOP-4.1.2.A/1-11/1-2011-0103
TÁMOP
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.