1 द्वारा ईबुक Janis Voigtländer
Ralf Hinze & Janis Voigtländer: Mathematics of Program Construction
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised …
PDF
अंग्रेज़ी
€59.49
