Theoretical Aspects of Computing - ICTAC 2015

Theoretical Aspects of Computing - ICTAC 2015

12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Valencia, Frank D.; Rueda, Camilo; Leucker, Martin

Springer International Publishing AG

12/2015

620

Mole

Inglês

9783319251493

15 a 20 dias

9591

Descrição não disponível.

Índice não disponível.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

Algebra;Automata theory;Concurrency;Formal methods in computer science;Semantic models;Category theory;Co-algebras;Computability;Domain-specific modeling;Formal analysis;Formal languages;Formal verification;Hybrid systems;Logic;Regular expressions;Runtime verification;Security properties;Software architectures;Type theory;Verification