Bilaketaren emaitzak - "program analysis,"
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- program analysis 9
- embedded systems 7
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures 7
- thema EDItEUR::U Computing and Information Technology::UY Computer science 7
- model checking 6
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design 6
- Algorithms & data structures 5
- Mathematical theory of computation 5
- emerging models of computation 5
- language theory, automata, and games 5
- logical aspects of computational complexity 5
- logics of programming 5
- mathematics 5
- modal, spatial, and temporal logics 5
- models of software security 5
- software architecture 5
- software specification and refinement 5
- static and dynamic program analysis 5
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 5
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 5
- verification 5
- Computer science 4
- Control Structures and Microprogramming 4
- SAT and SMT solving 4
- Theory of Computation 4
- abstract interpretation 4
- architecture verification and validation 4
- automata theory 4
- categorical models and logics 4
- dependent types 4
-
Programming Languages and Systems
Argitaratua 2024Gaiak: “...program analysis...”
Testu osoa
Online -
Foundations of Software Science and Computation Structures
Argitaratua 2024Gaiak: “...program analysis...”
Testu osoa
Online -
Foundations of Software Science and Computation Structures
Argitaratua 2024Gaiak: “...program analysis...”
Testu osoa
Online -
Programming Languages and Systems
Argitaratua 2024Gaiak: “...program analysis...”
Testu osoa
Online -
Programming Languages and Systems
Argitaratua 2025Gaiak: “...program analysis...”
Testu osoa
Online -
Foundations of Software Science and Computation Structures
Argitaratua 2025Gaiak: “...program analysis...”
Testu osoa
Online -
Programming Languages and Systems
Argitaratua 2025Gaiak: “...program analysis...”
Testu osoa
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Argitaratua 2021Gaiak: “...static and dynamic program analysis...”
Testu osoa
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Argitaratua 2021Gaiak: “...static and dynamic program analysis...”
Testu osoa
Online -
Foundations of Software Science and Computation Structures
Argitaratua 2020Gaiak: “...program analysis, correctness, transformation, and verification...”
Testu osoa
Online -
Fundamental Approaches to Software Engineering
Argitaratua 2021Gaiak: “...program analysis...”
Testu osoa
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Argitaratua 2021Gaiak: “...static and dynamic program analysis...”
Testu osoa
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Argitaratua 2021Gaiak: “...static and dynamic program analysis...”
Testu osoa
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Argitaratua 2022Gaiak: “...static and dynamic program analysis...”
Testu osoa
Online -
Foundations of Software Science and Computation Structures
Argitaratua 2022Gaiak: “...program analysis...”
Testu osoa
Online -
Fundamental Approaches to Software Engineering
Argitaratua 2022Gaiak: “...program analysis,...”
Testu osoa
Online