Addison-Wesley Professional, 2003. — 608 p. — ISBN10: 0321773713, ISBN13: 978-0321773715 The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the...
Addison-Wesley Professional, 2004. — 336 p. Finding bugs and understanding what is really happening within code is a lostart. Only truly good programmers are able to emulate the processor in theirown mind (e.g. read the code and understand how it might work without goingto the trouble of running it). Adam Barr wonders how programmers aresupposed to build better programs if they do...
Комментарии