Bart Jacobs

Bart Jacobs

Bart Jacobs has written at least 2 books. Their most popular book is Formal Methods for Open Object-Based Distributed Systems V with 0 saves with an average rating of -⭐.

Formal Methods for Open Object-Based Distributed Systems V
Categorical logic and type theory