Suivez-nous sur
Recherche Rechercher sur le site

Sardaigne

Logics of programs : workshop, Carnegie Mellon university, Pittsburgh, PA, June 6-8, 1983

Catégorie

Nature

Titre

Logics of programs : workshop, Carnegie Mellon university, Pittsburgh, PA, June 6-8, 1983

Description

Logics of programs : workshop, Carnegie Mellon university, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen

Description physique

VI, 527 p. ; 25 cm

Nombres standard

ISBN: 0387128964, New York
ISBN: 3540128964, Berlin

Date

1984

Place de publication

Berlin [etc.]

Village

GERMANIA

Langue

ID

IT\ICCU\AQ1\0019910

Liens de ressources

Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Étiqueter

commentaires

Écrire un commentaire

Envoyer