Why Programs Fail

Andreas (Saarland University, Saarbruecken, Germany) Zeller

Elsevier Science & Technology, 2009

78,75 €On orderDelivery: 2-3 weeks

With chapters on Verifying Code, Predicting Errors, and Preventing Errors, this title explains tools such as FindBUGS and AGITAR, highlights techniques from integrated environments like Jazz.net, and includes demos with ESC/Java and Spec#, Eclipse and Mozilla. It is a complete and pragmatic overview of debugging.

ISBN-13
9780123745156
ISBN-10
0123745152
Publisher
Elsevier Science & Technology
Year
2009
Publication date
2009-07-22
Pages
544
Dimensions
234x192x20
Weight
872