| Abstraction, Refinement and Proof for Probabilistic Systems Contributor(s): McIver, Annabelle (Author), Morgan, Charles Carroll (Author) |
|
 |
ISBN: 1441923128 ISBN-13: 9781441923127 Publisher: Springer OUR PRICE: $161.49 Product Type: Paperback - Other Formats Published: November 2010 |
| Additional Information |
| BISAC Categories: - Computers | Compilers - Computers | Programming Languages - General - Computers | Computer Science |
| Dewey: 005.1 |
| Series: Monographs in Computer Science |
| Physical Information: 0.83" H x 6.14" W x 9.21" (1.24 lbs) 388 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
|