Time for Verification: Essays in Memory of Amir Pnueli

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

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Hardcover: 421 pages

Publisher: Springer (June 30, 2010)

Language: English

ISBN-10: 3642137539

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

1111

 打赏