Related Books

Theoretical Aspects of Computing – ICTAC 2023
Language: en
Pages: 451

Theoretical Aspects of Computing – ICTAC 2023

Authors: Erika Ábrahám
Categories: Computers
Type: BOOK - Published: 2023-12-24 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, duri
Theoretical Aspects of Computing – ICTAC 2024
Language: en
Pages: 417

Theoretical Aspects of Computing – ICTAC 2024

Authors: Chutiporn Anutariya
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Formal Aspects of Component Software
Language: en
Pages: 243

Formal Aspects of Component Software

Authors: Javier Cámara
Categories: Mathematics
Type: BOOK - Published: 2024-02-13 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtual
Application and Theory of Petri Nets and Concurrency
Language: en
Pages: 449

Application and Theory of Petri Nets and Concurrency

Authors: Lars Michael Kristensen
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Formal Techniques for Distributed Objects, Components, and Systems
Language: en
Pages: 248

Formal Techniques for Distributed Objects, Components, and Systems

Authors: Valentina Castiglioni
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK