توضیحات
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
جزئیات کتاب
فرمت
جلد نرم
صفحات
408 صفحه
زبان
انگلیسی
منتشر شده
Nov 19, 2010
ناشر
Springer
نسخهها
2 نسخه
ISBN-10
1441923128
ISBN-13
9781441923127