An introduction to formal program verification /

Podobné jednotky

• Automation of Formal Verification of Programs in the Pifagor Language
  Autor: M. S. Ushakova, a další
  Vydáno: (2015-08-01)
• Formal Verification of Programs in Functional Dataflow Parallel Language
  Autor: M. S. Kropacheva, a další
  Vydáno: (2015-03-01)
• Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds
  Autor: Zaiser, F
  Vydáno: (2024)
• The foundations of program verification /
  Autor: Loeckx, Jacques, 1931-, a další
  Vydáno: (1984)
• An introduction to formal specification and Z /
  Autor: 377490 Potter, Ben, a další
  Vydáno: (1991)