Autorenfreundlich Bücher kaufen?!
Beschreibung
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.
Details
| Verlag | Springer US |
| Ersterscheinung | 19. November 2010 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 610 Gramm |
| Format | Softcover |
| ISBN-13 | 9781441923127 |
| Auflage | Softcover reprint of hardcover 1st ed. 2005 |
| Seiten | 388 |
Schlagwörter
Compiler und Übersetzer, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Computerprogrammierung und Softwareentwicklung, Formal Languages and Automata Theory, Probability Theory, Programming Techniques, Software Engineering, Stochastik, Theoretische Informatik, Wahrscheinlichkeitsrechnung und Statistik
Herstellerinformationen
Bekannt durch
