Computer Science Logic

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings 1st الإصدار تمت الكتابة بواسطة J. Duparc; T. A. Henzinger وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Computer Science Logic هي 9783540749158, 3540749152 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540749141, 3540749144. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings 1st الإصدار تمت الكتابة بواسطة J. Duparc; T. A. Henzinger وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Computer Science Logic هي 9783540749158, 3540749152 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540749141, 3540749144. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.