Formal Methods for Embedded Distributed Systems

Libros

Libros similares