Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997)
Anish AroraAuthors Info & Claims
Recommendations
Book Reviews
Book Reviews
---Ackoff, Russell L. and Maurice W. Sasieni, Fundamentals of Operations Research. New York: John Wiley & Sons, Inc., 1967,455 pp., $10.50;
---Hillier, Frederick S. and Gerald J. Lieberman, Introduction to Operations Research. San ...
Book Reviews
Book Reviews
---Ansoff, H. Igor Editor, Business Strategy, Selected Readings. Harmondsworth, Middlesex, England: Penguin Books Ltd. Baltimore, Maryland: Penguin Books Inc., 1969, 388 pp., 10/U.K. paper;
---Carsberg, B. U. and Edey, H. C. Editors, ...
Review of "Essential RenderMan by Ian Stephenson," Springer-Verlag New York, Inc., 2007, $39.95, ISBN: 1846283442: Review of "Essential RenderMan by Ian Stephenson," Springer-Verlag New York, Inc., 2007, $39.95, ISBN: 1846283442
GPU ComputingReview of "Essential RenderMan by Ian Stephenson," Springer-Verlag New York, Inc., 2007, $39.95, ISBN: 1846283442
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 148Total Downloads
- Downloads (Last 12 months)41
- Downloads (Last 6 weeks)7
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in