2005
Hardback (19 Nov 2004)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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.
| ISBN: | 9780387401157 |
| Publisher: | Springer New York |
| Imprint: | Springer |
| Pub date: | 19 Nov 2004 |
| Edition: | 2005 |
| DEWEY: | 005.1 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 383 |
| Weight: | 1650g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 23mm |
$3.30off
Paperback
Published 16 Mar 2022
Save $3.30
$8.70off
Hardback
Published 06 Jul 2023
Save $8.70
$11.96off
Hardback
Published 02 Aug 2023
Save $11.96
$1.55off
Paperback
Published 26 Jul 2023
Save $1.55
$4.49off
Paperback
Published 26 Jun 2023
Save $4.49
