books shopping


Price:
$24.95

List Price:
$98.00
Price:
$78.40
& this item ships for FREE with Super Saver Shipping.
Details
You Save:
$19.60
(20%)
Special Offers Available
Editorial Reviews
Product Description
For professionals who need to design, implement or manage a quality software program, this volume identifies ten major components that make up a solid program in line with ISO 9001 quality management precepts. This second edition is expanded by over 20 per cent, with updated references, text revisions and new chapters on software safety and software risk management. It seeks to provide the starting points for a standardized documentation system, and better understanding of the individual program components and how they integrate to form the whole system.
About the Author
John W. Horch is certified as a Software Quality Analyst, Software Quality Examiner and Software Test Engineer. He presently verifies and validates documentation and software development programs on behalf of government and commercial clients and presents software quality seminars and workshops worldwide. A senior member of the IEEE and the ASQ, Dr. Horch chaired the IEEE Computer Society Software Subcommittee for 7 years. He holds an M.Sc. and a Ph.D. in information systems.
Product Details
Hardcover: 308 pages
Publisher: Artech House Publishers; 2nd edition (February 2003)
Language: English
ISBN-10: 1580535275
ISBN-13: 978-1580535274
Product Dimensions:
9.3 x 7.2 x 1 inches
By

List Price:
$156.00
Price:
$156.00
& this item ships for FREE with Super Saver Shipping.
Details
Special Offers Available
Editorial Reviews
Product Description
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).
Product Details
Hardcover: 444 pages
Publisher: Springer; 1 edition (May 14, 1999)
Language: English
ISBN-10: 3540645896
ISBN-13: 978-3540645894
Product Dimensions:
9.2 x 6.1 x 1 inches

Editorial Reviews
Review
…a wealth of information that will extend most readers’ understanding of HCI and it forms an essential reference text for those working in this area. — Current Psychology Research

List Price:
$94.95
Price:
$94.95