Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.]

Cambridge University Press 1998 Cambridge tracts in theoretical computer science 47

: hardback

所蔵館24館