Here, one of the leading figures in the field provides a
comprehensive survey of the subject, beginning with prepositional
logic and concluding with concurrent programming. It is based on
graduate courses taught at Cornell University and is designed for
use as a graduate text. Professor Schneier emphasises the use of
formal methods and assertional reasoning using notation and
paradigms drawn from programming to drive the exposition, while
exercises at the end of each chapter extend and illustrate the main
themes covered. As a result, all those interested in studying
concurrent computing will find this an invaluable approach to the
subject.
General
| Imprint: |
Springer-Verlag New York
|
| Country of origin: |
United States |
| Series: |
Texts in Computer Science |
| Release date: |
September 2012 |
| First published: |
1997 |
| Authors: |
Fred B. Schneider
|
| Dimensions: |
235 x 155 x 25mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
473 |
| Edition: |
Softcover reprint of the original 1st ed. 1997 |
| ISBN-13: |
978-1-4612-7303-5 |
| Categories: |
Books >
Computing & IT >
Computer communications & networking >
General
|
| LSN: |
1-4612-7303-X |
| Barcode: |
9781461273035 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
