Catálogo de publicaciones - revistas
Título de Acceso Abierto
Journal of Logical and Algebraic Methods in Programming
Resumen/Descripción – provisto por la editorial en inglés
The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Período | Navegá | Descargá | Solicitá |
|---|
Información
Tipo de recurso:
revistas
ISSN impreso
2352-2208
ISSN electrónico
2352-2216
Editor responsable
Elsevier
País de edición
Países Bajos
Fecha de publicación
2014-
