Books by Jan Martijn van der Werf

Cover of Web Services, Formal Methods, and Behavioral Types

Web Services, Formal Methods, and Behavioral Types

by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich

2016
Cover of Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

by Lars Michael Kristensen, Jan Martijn van der Werf

2024

Can't find the book you're looking for? Let us know — it helps us improve.