Pierre-Loic Garoche

partilhar

bibliografia

coleções

Princeton Series In Applied Mathematics

  1. Formal Verification Of Control System Software
    #1

Lecture Notes In Computer Science

  1. Static Analysis Of Actors By Abstract Interpretation
    #1
X
recomendar
Pierre-Loic Garoche
Para recomendar este autor a um amigo basta preencher o seu nome e email, bem como o nome e email da pessoa a quem pretende fazer a sugestão. Se quiser pode ainda acrescentar um pequeno comentário, de seguida clique em enviar o pedido. A sua recomendação será imediatamente enviada em seu nome, para o email da pessoa a quem pretende fazer a recomendação.
A sua identificação:
A identificação da pessoa a quem quer recomendar este titulo:
X
A sua recomendação foi enviada com sucesso!
X
Ocorreu um erro ao enviar a sua recomendação.
X
selecione o livro adotado:
X
Ocorreu um erro!
Por favor tente novamente mais tarde.
X
atingiu o limite máximo de dispositivos autorizados
Por favor, aceda à area de cliente para gerir os dispositivos ativos.