Системный анализ и проектирование

Validating Corporate Computer Systems: Good IT Practice for Pharmaceutical Manufacturers Автор: Guy Wingate Год: [не указано] Издание: [не указанo]	Verification of Computer Codes in Computational Science and Engineering Автор: Patrick Knupp, Kambiz Salari Год: [не указано] Издание: [не указанo]
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science) Автор: Klaus Schneider, K. Schneider Год: [не указано] Издание: [не указанo]	Virtual Individuals, Virtual Groups : Human Dimensions of Groupware and Computer Networking (Cambridge Series on Human-Computer Interaction) Автор: Jo Ann Oravec, J. Long Год: [не указано] Издание: [не указанo]