Normal view
MARC view
Formal Methods (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Pressman, Roger S. 73478, Software, Engineering A Practitioner's Approach, 2005