Morgan C.

On the refinement calculus

1992 · ENGLISH · DJVU

View details →

Wizards and Their Wonders: Portraits in Computing

ENGLISH · PDF

View details →

Abstraction, Refinement and Proof for Probabilistic Systems

2005 · ENGLISH · PDF

View details →

LIBRARY

Combinatorial functional analysis (lecture notes)

ENGLISH · GZ

View details →