Catálogo de publicaciones - revistas

Compartir en
redes sociales

ACM Computing Surveys (CSUR)

Resumen/Descripción – provisto por la editorial en inglés
A journal of the Association for Computing Machinery (ACM), which publishes surveys, tutorials, and special reports on all areas of computing research. Volumes are published yearly in four issues appearing in March, June, September, and December.
Palabras clave – provistas por la editorial

No disponibles.

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No detectada desde mar. 1969 / hasta dic. 2023 ACM Digital Library

Información

Tipo de recurso:

revistas

ISSN impreso

0360-0300

ISSN electrónico

1557-7341

Editor responsable

Association for Computing Machinery (ACM)

País de edición

Estados Unidos

Fecha de publicación

Cobertura temática

matematica

Matemáticas

computacion

Ciencias de la computación e información

Tabla de contenidos

doi: 10.1145/242224.242372

The next generation electronic library—capturing the experience

Howard D. Wactlar

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 114

doi: 10.1145/242224.242373

Next steps in formal verification

Rajeev Alur

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 115

doi: 10.1145/242224.242374

Tools and partial analysis

Edmund Clarke; Jeannette M. Wing

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 116

doi: 10.1145/242224.242376

Formality and software design

Rance Cleaveland

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 117

doi: 10.1145/242224.242377

Research goals for formal methods

Steven German

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 118

doi: 10.1145/242224.242378

Some myths about formal verification

Thomas A. Henzinger

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 119

doi: 10.1145/242224.242379

On-the-fly model checking

Gerard Holzmann

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 120

doi: 10.1145/242224.242380

Formal methods light

Cliff Jones

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 121

doi: 10.1145/242224.242381

User interfaces for formal methods

Doron Peled

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 122

doi: 10.1145/242224.242382

Enhancing the utility of formal methods

John Rushby

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 123