Author books / Книги автора Morgan Carroll,McIver Annabelle (ed.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Morgan Carroll,McIver Annabelle (ed.)

book Programming methodology

Programming methodology

djvu

Author: Morgan Carroll, McIver Annabelle (ed.)
Language: English
Year: 2003

00

07.02.2024

0

0

book Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

pdf

Author: McIver Annabelle, Morgan Charles C
Language: English
Year: 2005

00

30.01.2024

0

0