Որոնման արդյունքները - "Computer systems Verification"
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
-
1
Principles of model checking
Հրապարակվել է 2008Խորագրեր: “…Computer systems Verification.…”
An electronic book accessible through the World Wide Web; click to view
Էլեկտրոնային էլ․ գիրք -
2
Engineering dependable software systems /
Հրապարակվել է 2013Խորագրեր: “…Computer systems Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Էլեկտրոնային Գիտաժողովի նյութեր էլ․ գիրք -
3
Dependable software systems engineering /
Հրապարակվել է 2015Խորագրեր: “…Computer systems Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Էլեկտրոնային էլ․ գիրք