Model Checking, Synthesis, and Learning

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Model Checking, Synthesis, and Learning هي 9783030913847, 3030913848 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030913830, 303091383X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Model Checking, Synthesis, and Learning هي 9783030913847, 3030913848 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030913830, 303091383X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.