Treffliste - Logics of Programs Workshop - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

2 treff

Sortering

Forsidebilde

Logics of programs : workshop, Yorktown Heights, New York, May 1981

Logics of Programs Workshop
Inngår i serie: Lecture notes in computer science (131)
Bok Språk ikke angitt 1982

Forsidebilde

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

edited by Edmund Clarke and Dexter Kozen
Inngår i serie: Lecture notes in computer science (164)
Bok Engelsk 1984

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk