Models, Algorithms, Logics and Tools

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday تمت الكتابة بواسطة Author وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Models, Algorithms, Logics and Tools هي 9783319631219, 3319631217 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783319631202, 3319631209. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday تمت الكتابة بواسطة Author وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Models, Algorithms, Logics and Tools هي 9783319631219, 3319631217 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783319631202, 3319631209. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.