Teaching Formal Methods

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings 1st الإصدار تمت الكتابة بواسطة Jeremy Gibbons; ‎Jose Nuno Oliveira وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Teaching Formal Methods هي 9783642049125, 3642049125 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642049118, 3642049117. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings 1st الإصدار تمت الكتابة بواسطة Jeremy Gibbons; ‎Jose Nuno Oliveira وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Teaching Formal Methods هي 9783642049125, 3642049125 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642049118, 3642049117. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.