Jan Martijn van der Werf - Böcker
Visar alla böcker från författaren Jan Martijn van der Werf. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 14628 - Lecture Notes in Computer Science
Application and Theory of Petri Nets and Concurrency
45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings
Häftad, Engelska, 2024
922 kr
Skickas inom 5-8 vardagar
This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024. The 19 full papers and 2 invited papers included in this book were carefully reviewed and selected from 42 submissions.
Del 9421 - Lecture Notes in Computer Science
Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Häftad, Engelska, 2016
465 kr
Skickas inom 10-15 vardagar
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.