OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (12)

Show More Show Less

Author

Estévez, Elsa Clara (2)
Fillottrani, Pablo Rubén (2)
Aranda, Gabriela N. (1)
Augusto, Juan Carlos (1)
Baum, Gabriel Alfredo (1)
Belloni, Edgardo A. (1)
Bonelli, Eduardo (1)
Buccella, Agustina (1)
Cobo, María Laura (1)
Compagnoni, Adriana (1)

Show More Show Less

Subject

Ciencias Informáticas (10)
Ciencias Económicas (2)
Informática (2)
Requirements/Specifications (2)
SOFTWARE ENGINEERING (2)
component-based development (2)
Agente inteligente (1)
Arquitectura de software (1)
Base de Datos (1)
Concurrent programming (1)

Show More Show Less

Year

2004 (12)
2002 (4)
2000 (2)
2003 (2)
1998 (1)
2001 (1)
2009 (1)
2019 (1)

Show More Show Less

Document Type

Artículo (12)

Show More Show Less

Language

Inglés (12)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Language: Inglés Repository: 37 Document Type: Artículo Year: 2004

Sort by Score Title Year -

11-12 from 12 results (0.022 seconds)

Title: Component-based tool for verifying applications using object-oriented patterns
Author: Reynoso, Luis A. / Buccella, Agustina / Flores, Andrés P. / Aranda, Gabriela N.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / object-oriented design / Design / Patterns (e.g., client/server, pipeline, blackboard) / SOFTWARE ENGINEERING

AccederDescargar
Title: Correspondence assertions for process synchronization in concurrent communications
Author: Bonelli, Eduardo / Compagnoni, Adriana / Gunter, Elsa
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Concurrent programming / Correspondence assertions / Pi-calculus / Session types / Type systems

Acceder

« Previous 1 2 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723