skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebraic and operational semantics of exceptions and errors
Algebraic and operational semantics of exceptions and errors
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Algebraic and operational semantics of exceptions and errors

Gogolla, M. ; Drosten, K. ; Lipeck, U. ; Ehrich, H. D. Cremers, Armin B. ; Kriegel, Hans-Peter

Theoretical Computer Science, 1982, p.141-151 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Algebraic and operational semantics of specifications allowing exceptions and errors
Algebraic and operational semantics of specifications allowing exceptions and errors
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algebraic and operational semantics of specifications allowing exceptions and errors

Gogolla, M. ; Drosten, K. ; Lipeck, U. ; Ehrich, H.-D.

Theoretical computer science, 1984, Vol.34 (3), p.289-313 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
Building specifications in an arbitrary institution
Building specifications in an arbitrary institution
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Building specifications in an arbitrary institution

Sannella, Donald ; Tarlecki, Andrzej MacQueen, David B. ; Plotkin, Gordon ; Kahn, Gilles

Semantics of Data Types, 1984, p.337-356 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Another look at parameterization using algebras with subsorts
Another look at parameterization using algebras with subsorts
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Another look at parameterization using algebras with subsorts

Poigné, Axel Koubek, V. ; Chytil, M. P.

Mathematical Foundations of Computer Science 1984, 1984, p.471-479 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
A set-theoretic semantics for clear
A set-theoretic semantics for clear
Material Type:
Artigo 		Adicionar ao Meu Espaço

A set-theoretic semantics for clear

SANNELLA, D. T

Acta informatica, 1984-12, Vol.21 (5), p.443-472 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
6
On the existence of free models in abstract algebraic institutions
On the existence of free models in abstract algebraic institutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the existence of free models in abstract algebraic institutions

Tarlecki, Andrzej

Theoretical computer science, 1985, Vol.37 (3), p.269-304 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
Program specification and development in standard ML
Program specification and development in standard ML
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Program specification and development in standard ML

Sannella, Donald ; Tarlecki, Andrzej

Annual Symposium on Principles of Programming Languages: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages; 14-16 Jan. 1985, 1985, p.67-77

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
8
ASSPEGIQUE: An integrated environment for algebraic specifications
ASSPEGIQUE: An integrated environment for algebraic specifications
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

ASSPEGIQUE: An integrated environment for algebraic specifications

Bidoit, Michel ; Choppy, Christine Nivat, Maurice ; Ehrig, Hartmut ; Floyd, Christiane ; Thatcher, James

Formal Methods and Software Development, 1985, p.246-260 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Operational semantics for order-sorted algebra
Operational semantics for order-sorted algebra
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Operational semantics for order-sorted algebra

Goguen, Joseph A. ; Jouannaud, Jean-Pierre ; Meseguer, José Brauer, Wilfried

Automata, Languages and Programming, 1985, p.221-231 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
A theory of abstract data types for program development: Bridging the gap?
A theory of abstract data types for program development: Bridging the gap?
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A theory of abstract data types for program development: Bridging the gap?

Maibaum, T. S. E. ; Veloso, Paulo A. S. ; Sadler, M. R. Nivat, Maurice ; Ehrig, Hartmut ; Floyd, Christiane ; Thatcher, James

Formal Methods and Software Development, 1985, p.214-230 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (2.841)
  2. Anais de Congresso  (184)
  3. Book Chapters  (125)
  4. Livros  (26)
  5. Verbetes  (24)
  6. Newsletter Articles  (3)
  7. Conjunto de Dados  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (31)
  2. 1990Até1997  (77)
  3. 1998Até2005  (219)
  4. 2006Até2014  (791)
  5. Após 2014  (2.097)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.176)
  2. Japonês  (537)
  3. Português  (21)
  4. Turco  (16)
  5. Espanhol  (14)
  6. Norueguês  (6)
  7. Alemão  (5)
  8. Francês  (2)
  9. Catalão  (1)
  10. Chinês  (1)
  11. Holandês  (1)
  12. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Gogolla, M
  2. Kobryn, C
  3. UML 2001
  4. WADT '97
  5. Parisi Presice, F

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Neurosciences
  4. Neurosciences & Neurology
  5. Animals

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.