Bart Jacobs
- Auteur
Boeken van Bart Jacobs
Constant Hijzen
Bart Jacobs
Rowin Jansen
Florentijn van Kampen
Uiterst vertrouwelijk
Dit boek laat zien hoe het eenvoudige documentatiewerk van enkele militairen uitgroeide tot professionele organisaties waar duizenden mensen werken.
Meer
Bart Jacobs
Arend Rensink
Formal Methods for Open Object-Based Distributed Systems V
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
Formal methods; Distributed systems; Object-based technology. Meer
Formal methods; Distributed systems; Object-based technology. Meer
Bart Jacobs
Christof Loding
Christof Löding
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 19th
International Conference on Foundations of Software Science and Computation
Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in
April 2016, held as Part of the European Joint Conferences on Theory and
Practice of Software, ETAPS 2016. Meer
International Conference on Foundations of Software Science and Computation
Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in
April 2016, held as Part of the European Joint Conferences on Theory and
Practice of Software, ETAPS 2016. Meer