Jan Martijn van der Werf – författare
Visar alla böcker från författaren Jan Martijn van der Werf. Handla med fri frakt och snabb leverans.
4 produkter
Application and Theory of Petri Nets and Concurrency
45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings
Av Lars Michael Kristensen, Jan Martijn van der Werf
Häftad, 2024
970 kr
Lägg i varukorg
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 …
Application and Theory of Petri Nets and Concurrency
45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings
Av Jan Martijn van der Werf, Lars Michael Kristensen
E-bok, 2024
1838 kr
Lägg i varukorg
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 …
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
Av Thomas Hildebrandt, António Ravara m. fl.
Häftad, 2016
477 kr
Lägg i varukorg
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. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented …
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
Av Matthias Weidlich, Jan Martijn van der Werf m. fl.
E-bok, 2016
638 kr
Lägg i varukorg
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. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented …
