orford

  • Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22-25 فوریه 2010, مجموعه مقالات

    دانلود کتاب Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (به فارسی: Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22-25 فوریه 2010, مجموعه مقالات) نوشته شده توسط «Marc Frappier – Uwe Glässer – Sarfraz Khurshid – Régine Laleau – Steve Reeves» اطلاعات کتاب Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22-25 فوریه 2010, مجموعه مقالات موضوع اصلی: فن آوری نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Marc Frappier – Uwe Glässer – Sarfraz Khurshid…