4463952
9780387516097
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.Fuchs, K. is the author of 'Super-Deep Continental Drilling and Deep Geophysical Sounding - K. Fuchs - Hardcover' with ISBN 9780387516097 and ISBN 0387516093.
[read more]