Ditapis dengan
Found 1 from your keywords: author=Peter Muller
1 copy Tersedia
E-book Programming Languages and Systems
Compiler correctness is an old idea [37,40,41] that has seen a significant revival in re-cent times. This new wave was started by the creation of the CompCert verified C com-piler [33] and continued by the proposal of many significant extensions a…
Edisi-
ISBN/ISSN9783030449148
Deskripsi Fisik785 hlm
Judul Seri-
No. Panggil005.13 PET p