The foundations of program verification /

Liknande verk

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