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

Kategorier

4 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
AvLars Michael Kristensen,Jan Martijn van der Werf
Häftad, Engelska, 2024
949 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. They were organized in topical sections as follows: Business Process Modelling and Mining, Semantics and Complexity, Reachability, Verification and Model Checking, Applications and Tools.
Application and Theory of Petri Nets and Concurrency
45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings
AvJan Martijn van der Werf,Lars Michael Kristensen
E-bok
Engelska, 2024
1 798 kr
Läs direkt efter köp
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. They were organized in topical sections as follows: Business Process Modelling and Mining, Semantics and Complexity, Reachability, Verification and Model Checking, Applications and Tools.
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
AvThomas Hildebrandt,António Ravaram. fl.
Häftad, Engelska, 2016
483 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. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.
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
AvMatthias Weidlich,Jan Martijn van der Werfm. fl.
E-bok
PDF, Engelska, 2016
619 kr
Läs direkt efter köp
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 and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.

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

Kategorier

4 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
AvLars Michael Kristensen,Jan Martijn van der Werf
Häftad, Engelska, 2024
949 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. They were organized in topical sections as follows: Business Process Modelling and Mining, Semantics and Complexity, Reachability, Verification and Model Checking, Applications and Tools.
Application and Theory of Petri Nets and Concurrency
45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, Proceedings
AvJan Martijn van der Werf,Lars Michael Kristensen
E-bok
Engelska, 2024
1 798 kr
Läs direkt efter köp
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. They were organized in topical sections as follows: Business Process Modelling and Mining, Semantics and Complexity, Reachability, Verification and Model Checking, Applications and Tools.
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
AvThomas Hildebrandt,António Ravaram. fl.
Häftad, Engelska, 2016
483 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. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.
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
AvMatthias Weidlich,Jan Martijn van der Werfm. fl.
E-bok
PDF, Engelska, 2016
619 kr
Läs direkt efter köp
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 and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.

Jan Martijn van der Werf – författare

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

Web Services, Formal Methods, and Behavioral Types

Web Services, Formal Methods, and Behavioral Types

Jan Martijn van der Werf – författare

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

Web Services, Formal Methods, and Behavioral Types

Web Services, Formal Methods, and Behavioral Types