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 -⭐.

Details	Rating	Readers Count	Controls
Formal Methods for Open Object-Based Distributed Systems V Bart Jacobs	0	0 reads
Categorical logic and type theory Bart Jacobs	0	0 reads

Community

Follow Along

We're an Open Book

Footer links