Hopp til treffliste Hopp til hovedmeny
Vis filter / sortering
Biblioteket
Vis søkeresultat
Nylig sett
Generert CCL

2 treff


Forsidebilde
edited by Edmund Clarke and Dexter Kozen
Inngår i serie: Lecture notes in computer science (164)
Bok Engelsk 1984
Ledig 1/1
Vis mer
Forsidebilde
Logics of Programs Workshop
Inngår i serie: Lecture notes in computer science (131)
Bok Språk ikke angitt 1982
Ledig 1/1
Vis mer
Søk og bestill fra andre bibliotek: