Related Books

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 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

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

Foundations of Software Science and Computation Structures
Language: en
Pages: 283

Foundations of Software Science and Computation Structures

Authors: Naoki Kobayashi
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 399

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Biere
Categories:
Type: BOOK - Published: 2020 - Publisher: Springer Nature

DOWNLOAD EBOOK