Titolo
Logics of programs : workshop, Carnegie Mellon university, Pittsburgh, PA, June 6-8, 1983
Descrizione
Logics of programs : workshop, Carnegie Mellon university, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen
Numeri Standard
ISBN: 0387128964, New York
ISBN: 3540128964, Berlin
Commenti