Dynamic logic : new trends and applications / Third International Workshop, DaLí... ; eds. Manuel A. Martins, Igor Sedlár

Autor secundário: Martins, Manuel António Gonçalves;Sedlár, IgorAutor Institucional (Principal): DALI (International Workshop), 3 , Prague, Czech Republic, 2020Língua: Inglês.País: Suíça.ISBN: 978-3-030-65839-7.Publicação: Cham : Springer, cop. 2020Descrição: X, 293 p. : ilColeção: (LNCS: Lecture Notes in Computer Science ; 12569 , 0302-9743)Assunto : Ciência de computadores -- Congressos, conferências, etc. // Lógica computacional -- Congressos, conferências, etc. // Sistemas de computadores // Engenharia informáticaCDU: 004.8:519.6(063)