Описание
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