Search Results - Alessandra Russo
Related Subjects
QA75.5-76.95
bic Book Industry Communication::U Computing & information technology::UY Computer science
computer software maintenance
computer software selection and evaluation
formal logic
formal methods
formal specification
programming languages
semantics
software engineering
specifications
verification