Programación y lenguajes Otros lenguajes

ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC SYSTEMS

Por ANNABELLE MCIVER

Estado: DE 2ª MANO (BUENO)

Vendido por Brand New Used Books

Envío desde Sevilla, España Península lo tendrás en Transporte vendedor profesional
Otros vendedores (nuevo y usado) desde 189,00 €

Sinopsis

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.

Especificaciones del producto

Reseñas sobre ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC SYSTEMS

Comparte tu experiencia con la comunidad lectora.

0

0 Reseñas
5 0
4 0
3 0
2 0
1 0

Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en
20€