Top 584 tim foreword anon PDF Book Page 20

book image

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)
·663 Pages
·2007
·3.942 MB

book image

Buku Putih NU-PKI BENTURAN NU-PKI 1948 -1965 oleh Tim PBNU

Abdul Mun’im D. Z.
·208 Pages
·2013
·2.789 MB

1
192021
25