Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
function structures » functions structures, function structure, functional structures
programs formal » programs final
https function » its function, sites function, ups function
formal https » animal https, formal help
function structures » functions structures, function structure, functional structures
programs formal » programs final
https function » its function, sites function, ups function
formal https » animal https, formal help
1
Publicado em 2006
Sumário:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2014
Sumário:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2010
Sumário:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Assuntos:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2012
Sumário:
“...ASLan++ — A formal security specification language for distributed Systems -- Orchestration under...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2008
Sumário:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2008
Sumário:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2012
Assuntos:
“...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2011
Assuntos:
“...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“... Layer Protocol -- SMT-Based Formal Verification of a TTEthernet Synchronization Function -- Embedded...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2013
Sumário:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2014
Sumário:
“... -- Universality and reversibility -- Structural complexity -- Formal systems for applications (e.g., software...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2013
Assuntos:
“...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2006
Sumário:
“... Random Walks -- Stopping Times, Metrics and Approximate Counting -- Formal Languages -- Algebraic...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Sumário:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2008
Sumário:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2007
Sumário:
“...Invited Talk -- Formal Foundations for Aspects -- Contributed Papers -- Sampled Universality...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2005
Sumário:
“... Reactive Programming Language -- Formalizing Interoperability Testing: Quiescence Management and Test...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2007
Sumário:
“... Programs -- State Isomorphism in Model Programs with Abstract Data Structures -- Composition of Model...”Obter o texto integral
Recurso Electrónico
livro electrónico