10 results for "Dave Parnas"
Software Requirements Engineering, 2nd EditionFeb 27, 1997by Richard H. Thayer and Merlin Dorfman
Arguments that Count: Physics, Computing, and Missile Defense, 1949-2012 (Inside Technology)Aug 16, 2013$28.28$35.00Only 6 left in stock - order soon.More Buying Choices
Software Engineering (Practitioners)Nov 1, 1996by Merlin Dorfman and Richard H. Thayer
Industrial Applications Of Formal Methods To Model, Design And Analyze Computer SystemsJan 1, 1995by Dan Craigen
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal...Nov 19, 1990by Dan Craigen and Karen Summerskill
Real Time Programming 1998 (IFAC Proceedings Volumes)Dec 3, 1998by L.-C. Zhang and A.H. Frigeri