Related Books

Theoretical Aspects of Computing – ICTAC 2023
Language: en
Pages: 451
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
Application and Theory of Petri Nets and Concurrency
Language: en
Pages: 449
Authors: Lars Michael Kristensen
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Formal Aspects of Component Software
Language: en
Pages: 243
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
Formal Techniques for Distributed Objects, Components, and Systems
Language: en
Pages: 248
Authors: Valentina Castiglioni
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Foundations of Software Science and Computation Structures
Language: en
Pages: 283
Authors: Naoki Kobayashi
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK