Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
expressions specification » expression purification, expression specificities, expressions specificity
foundations formal » foundations ferment, foundations from
foundation formal » foundation form, foundation journal, foundation forming
expressions specification » expression purification, expression specificities, expressions specificity
foundations formal » foundations ferment, foundations from
foundation formal » foundation form, foundation journal, foundation forming
1
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Publicado em 2013
Sumário:
“... of Post Embedding Problems -- Deciding Definability by Deterministic Regular Expressions -- Type-Based...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Sumário:
“... Mutual Exclusion -- Chap. 3 - Lock-Based Concurrent Objects -- Part II - On the Foundations Side...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2008
Sumário:
“... of Communication Faults -- Algebraic Graph Algorithms -- Contributed Papers -- Question/Answer Games on Towers...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2014
Sumário:
“... Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2007
Sumário:
“... Modelling -- Formalisms for Property-Driven Design -- An Efficient Synthesis Method for Property-Based...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2014
Sumário:
“... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2006
Sumário:
“... Interpretation of FIFO Queues -- Assessing the Expressivity of Formal Specification Languages -- Fork Algebras...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2010
Sumário:
“... Algorithm Based on Gravity and Cluster Merging -- Data Mining in Specific Areas -- Evolution Analysis of a...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2008
Sumário:
“... Systems -- Specification-based Verification of Embedded Systems by Automated Test Case Generation...”Obter o texto integral
Recurso Eletrônico
livro eletrônico