Programming Logics: Essays in Memory of Harald

2014-01-28 分类：计算机、互联网

Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Hardcover: 455 pages

Publisher: Springer (April 3, 2013)

Language: English

ISBN-10: 3642376509

代发服务PDF电子书10元立即求助

1111

 打赏