Formal methods
Автор:
Jesse Russell,Ronald Cohn, издатель:
"VSD", ISBN:
978-5-5110-4322-7
High Quality Content by WIKIPEDIA articles! In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems. The use
Рейтинг книги:



4 из 5,
7 голос(-ов).