Bilaketaren emaitzak - Andy Schürr
- Erakusten 1 - 1 emaitzak -- 1
Bilaketa egiteko lanabesak:
Antzeko gaiak
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