На данной странице предаставлены все книги автора «Daniel Camara and Antonio Alfredo Ferreira Loureiro»
Formal Verification of Communication Protocols for Wireless Networks (Daniel Camara and Antonio Alfredo Ferreira Loureiro)