Pamela Zave
Identifiers
- Open LibraryOL7961787A
Books by Pamela Zave
Total count: 3
-
FME 2001 : Formal Methods for Increasing Software ProductivityInternational Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, ProceedingsSpringer London, Limited2003-01-01
Software Requirements and Designlulu.com2010-08-09-
Real Internet ArchitecturePast, Present, and Future EvolutionIndependently Published2022-01-01