Resultats de la cerca - Alessandra Russo
- Mostrar 1 - 1 resultats de 1
Eines de cerca:
Matèries relacionades
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