Corina S. Pasareanu

partilhar

bibliografia

  • Livro
  • EBook

coleções

Synthesis Lectures On Software Engineering

  1. Symbolic Execution And Quantitative Reasoning
    #1
X
recomendar
Corina S. Pasareanu
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.