1 电子书 Edmund Clarke
Edmund Clarke & Andrei Voronkov: Perspectives of Systems Informatics
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibi …
PDF
英语
DRM
€57.76
