1. System verification by Grady, Jeffrey O. Publication: Amsterday ; | Boston : Elsevier/Academic Press, 2007 . 1 online resource (xxvii, 337 p.) : , Includes index. Date:2007 Availability: No items available: Actions: Add to cart
2. System requirements analysis by Grady, Jeffrey O. Publication: Amsterdam ; | Boston : Elsevier Academic Press, 2006 . 1 online resource (xxii, 455 p.) : , Includes index. Date:2006 Availability: No items available: Actions: Add to cart