Descripción
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.
Detalles del libro
Formato
Tapa blanda
Páginas
408 páginas
Idioma
Inglés
Publicado
Nov 19, 2010
Editorial
Springer
Ediciones
2 ediciones
ISBN-10
1441923128
ISBN-13
9781441923127