Tools and Algorithms for the Construction and Analysis of...

Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022, Part II

Dana Fisman, Grigore Rosu
0 / 5.0
0 comments
Quanto Você gostou deste livro?
Qual é a qualidade do ficheiro descarregado?
Descarregue o livro para avaliar a sua qualidade
De que qualidade são os ficheiros descarregados?
Categorias:
Computers - Algorithms and Data Structures
Volume:
Part II
Ano:
2022
Editora:
Springer
Idioma:
english
ISBN 10:
3030995267
ISBN 13:
9783030995263
Série:
Lecture Notes in Computer Science, 13244
Arquivo:
PDF, 15.67 MB
IPFS:
CID , CID Blake2b
english, 2022
Ler online
  • pdf 15.67 MB Current page
  • Checking other formats...
    • Desbloquear a conversão de ficheiros superiores a 8 MB Premium
    A converter para
    Conversão para falhou

    Frases chave

     
    verification
    doi.org
    algorithm
    springer
    analysis
    function
    symbolic
    checking
    systems
    automata
    competition
    programs
    approach
    player
    values
    tools
    lncs
    tacas
    witness
    algorithms
    fault
    path
    games
    techniques
    execution
    proc
    memory
    parity
    random
    formula
    cases
    transition
    vertices
    acm
    input
    𝑥
    graph
    creative
    finite
    implementation
    nodes
    node
    witnesses
    rank
    conference
    proceedings
    decision
    bounded
    contribution
    probability
    solving
    𝑞
    automaton
    petallength
    formulas
    𝑆
    output
    functions
    network
    smt

    Listas de livros relacionados