Hardware and Software: Verification and Testing/Eran Yahav

 

QR code of document

Ratings: 0


Eran Yahav
    Hardware and Software: Verification and Testing [Электронный ресурс] / Eran Yahav. - Электроные текстовые данные. - 1007/978-3-319-13338-6. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-13338-6. - (Lecture Notes in Computer Science) . - ISBN 9783319133386

Кл.слова (ненормированные):
Computer science -- Software Engineering -- Logics and Meanings of Programs -- Programming Languages, Compilers, Interpreters -- Artificial Intelligence (incl. Robotics) -- Mathematical Logic and Formal Languages -- computer communication networks -- книги издательства Springer

Open link to player

Please authorize to view