Sortiert nach
1st Edition 2021, 2021
Link zum Volltext
Applicable Formal Methods for Safe Industrial Products, p.237-253
Link zum Volltext
Concurrency, Security, and Puzzles, 2016, Vol.10160, p.39-64
2016
Link zum Volltext
Theories of Programming and Formal Methods, p.19-51
Link zum Volltext
Formal Methods and Software Engineering, 2022, Vol.13478, p.404-420
2022
Link zum Volltext
Theoretical Aspects of Computing - ICTAC 2023, 2023, Vol.14446, p.15-35
2023
Link zum Volltext
Relational and Algebraic Methods in Computer Science, 2021, Vol.13027, p.465-482
2021
Link zum Volltext
Unifying Theories of Programming, 2015, Vol.8963, p.21-41
2015
Link zum Volltext
Dependable Software Engineering. Theories, Tools, and Applications, 2020, Vol.12153, p.177-185
2020
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Software Engineering
- Congresses
- Logic Design
- Logics And Meanings Of Programs
- Engineering
- Computer Software Engineering
- Kongress
- Machine Theory
- Science & Technology
- Technology
- Computer Logic
- Computer Science, Theory & Methods
- Computers
- Formale Methode
- Programming Languages
- Programming Languages, Compilers, Interpreters
- Software
- Compilers
- Computer Programming
Kollektion