Jan Martijn van der Werf
Jan Martijn van der Werf
ספרים
ספרים משותפים ואוספים
ספרים שבהם Jan Martijn van der Werf מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Application and Theory of Petri Nets and ConcurrencyLars Michael Kristensen
Application and Theory of Petri Nets and Concurrency
Lars Michael Kristensen · 2024
Web Services, Formal Methods, and Behavioral TypesThomas Hildebrandt
Web Services, Formal Methods, and Behavioral Types
Thomas Hildebrandt · 2016