Hopp til innhold Hopp til hovedmeny
forsidebilde - trykk for å vise stor versjon

Edinburgh LCF : a mechanised logic of computation

Michael J. Gordon, Arthur J. Milner [i.e. Robin Milner], Christopher P. Wadsworth
Inngår i serie: Lecture notes in computer science (78)
Gordon, Michael J. C. Bok Språk ikke angitt utgitt 1979

Ledig

  • Automatlager: 1 av 1 ledig
Henter eksemplarliste...
Fakta
Laster innhold...