Theories of Programming and Formal Methods

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Theories of Programming and Formal Methods هي 9783031404368, 303140436X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031404351, 3031404351. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Theories of Programming and Formal Methods هي 9783031404368, 303140436X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031404351, 3031404351. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.