The foundations of program verification /

Podobne zapisy

• Automata, languages and programming : proceedings /
  od: 11198 International Colloquium on Automata, Languages and Programming, i wsp.
  Wydane: (1974)
• An introduction to formal program verification /
  od: 208742 Mili, Ali
  Wydane: (1985)
• Foundations of programming/
  od: 398363 Moss, John
  Wydane: (1978)
• Foundations of logic programming /
  od: 269625 Lloyd, J. W. (John Wylie), 1947-
  Wydane: (1987)
• Theory of program structures : schemes, semantics, verification /
  od: 396294 Greibach, Sheila, 1939-
  Wydane: (1975)