Home Advanced Search

Advanced Search - Page 1

Abstraction, Refinement and Proof for Probabilistic Systems
  • PDF
  • English
  • Year: 2005
  • Author: McIver A., Morgan C.
Abstraction, refinement and proof for probabilistic systems
  • PDF
  • English
  • Year: 2005
  • Author: McIver, Annabelle; Morgan, Charles C
Programming methodology
  • DJVU
  • English
  • Year: 2003
  • Author: Morgan, Carroll; McIver, Annabelle (ed.)
Abstraction, Refinement and Proof for Probabilistic Systems
  • PDF
  • English
  • Year: 2005
  • Author: Annabelle McIver, Carroll Morgan (auth.)
Programming Methodology
  • PDF
  • English
  • Year: 2003
  • Author: Annabelle McIver, Carroll Morgan (eds.)
Abstraction, Refinement and Proof for Probabilistic Systems
  • PDF
  • English
  • Year: 2005
  • Author: Annabelle McIver, Charles Carroll Morgan
Abstraction, Refinement and Proof for Probabilistic Systems
  • PDF
  • English
  • Year: 2004
  • Author: Annabelle McIver, Charles Carroll Morgan
Wizards and Their Wonders: Portraits in Computing
  • PDF
  • English
  • Author: Morgan C.
Combinatorial functional analysis (lecture notes)
  • GZ
  • English
  • Author: Morgan C.
Eternal
  • EPUB
  • English
  • Year: 2019
  • Author: B C Morgan [Morgan, B C]
search