P

Paul Boca

2 books found

Books by Paul Boca
Formal methodsPaul Boca
⏱ 5h 0m

Formal methods

Paul Boca

2009300 pp.
Abstract State Machines, B and ZEgon Börger
⏱ 6h 24m

Abstract State Machines, B and Z

Egon Börger

2008384 pp.