Author: Chutiporn Anutariya
Publisher: Springer Nature
ISBN: 3031770196
Category :
Languages : en
Pages : 417
Book Description
Theoretical Aspects of Computing – ICTAC 2024
Author: Chutiporn Anutariya
Publisher: Springer Nature
ISBN: 3031770196
Category :
Languages : en
Pages : 417
Book Description
Publisher: Springer Nature
ISBN: 3031770196
Category :
Languages : en
Pages : 417
Book Description
Formal Techniques for Distributed Objects, Components, and Systems
Author: Valentina Castiglioni
Publisher: Springer Nature
ISBN: 3031626451
Category :
Languages : en
Pages : 248
Book Description
Publisher: Springer Nature
ISBN: 3031626451
Category :
Languages : en
Pages : 248
Book Description
Application and Theory of Petri Nets and Concurrency
Author: Lars Michael Kristensen
Publisher: Springer Nature
ISBN: 303161433X
Category :
Languages : en
Pages : 449
Book Description
Publisher: Springer Nature
ISBN: 303161433X
Category :
Languages : en
Pages : 449
Book Description
Foundations of Software Science and Computation Structures
Author: Naoki Kobayashi
Publisher: Springer Nature
ISBN: 3031572319
Category :
Languages : en
Pages : 283
Book Description
Publisher: Springer Nature
ISBN: 3031572319
Category :
Languages : en
Pages : 283
Book Description
Tools and Algorithms for the Construction and Analysis of Systems
Author: Biere
Publisher: Springer Nature
ISBN: 3031572491
Category :
Languages : en
Pages : 399
Book Description
Publisher: Springer Nature
ISBN: 3031572491
Category :
Languages : en
Pages : 399
Book Description
Computer Aided Verification
Author: Arie Gurfinkel
Publisher: Springer Nature
ISBN: 303165630X
Category :
Languages : en
Pages : 447
Book Description
Publisher: Springer Nature
ISBN: 303165630X
Category :
Languages : en
Pages : 447
Book Description
Rewriting Logic and Its Applications
Author: Kazuhiro Ogata
Publisher: Springer Nature
ISBN: 3031659414
Category :
Languages : en
Pages : 215
Book Description
Publisher: Springer Nature
ISBN: 3031659414
Category :
Languages : en
Pages : 215
Book Description
The Application of Formal Methods
Author: Simon Foster
Publisher: Springer Nature
ISBN: 3031671147
Category :
Languages : en
Pages : 388
Book Description
Publisher: Springer Nature
ISBN: 3031671147
Category :
Languages : en
Pages : 388
Book Description
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Author: Tiziana Margaria
Publisher: Springer Nature
ISBN: 3031751078
Category :
Languages : en
Pages : 381
Book Description
Publisher: Springer Nature
ISBN: 3031751078
Category :
Languages : en
Pages : 381
Book Description
Advances in Information and Computer Security
Author: Kazuhiko Minematsu
Publisher: Springer Nature
ISBN: 9819777372
Category :
Languages : en
Pages : 310
Book Description
Publisher: Springer Nature
ISBN: 9819777372
Category :
Languages : en
Pages : 310
Book Description