Sung-Shik Jongmans – författare

Visar alla böcker från författaren Sung-Shik Jongmans. Handla med fri frakt och snabb leverans.

7 produkter

1. 

   Formal Aspects of Component Software

   16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings

   Av Farhad Arbab, Sung-Shik Jongmans

   Häftad, 2020

   550 kr

   Lägg i varukorg

   This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other …

2. 

   Formal Aspects of Component Software

   16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings

   Av Sung-Shik Jongmans, Farhad Arbab

   E-bok, 2020

   718 kr

   Lägg i varukorg

   This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019. The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other …

3. 

   Coordination Models and Languages

   25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings

   Av Sung-Shik Jongmans, Antónia Lopes

   Häftad, 2023

   790 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec …

4. 

   Coordination Models and Languages

   25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings

   Av Antonia Lopes, Sung-Shik Jongmans

   E-bok, 2023

   1007 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. …

5. 

   Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Con

   Av Sung-Shik Jongmans, Antónia Lopes

   2023

   665 kr

   Lägg i varukorg

6. 

   Formal Aspects of Component Software

   19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

   Av Javier Cámara, Sung-Shik Jongmans

   Häftad, 2024

   938 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were …

7. 

   Formal Aspects of Component Software

   19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

   Av Sung-Shik Jongmans, Javier Camara

   E-bok, 2024

   903 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023. The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were …