Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Marco Bernardo , Ferruccio Damiani , Reiner Haehnle
Ainda sem avaliações
May 21, 2014 · Inglês · Brochura (351 páginas)
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura

Avaliações

Nenhuma avaliação ainda

Seja o primeiro a avaliar este livro e compartilhe seus pensamentos

Faça login para Avaliar
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura