Tools And Algorithms For The Construction And Analysis Of Systems

20th International Conference, Tacas 2014, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2014, Grenoble, Fr

idioma: inglês
Editor: Springer Nature B.V., março de 2014 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro

Tools And Algorithms For The Construction And Analysis Of Systems

20th International Conference, Tacas 2014, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2014, Grenoble, Fr

Propriedade Descrição
ISBN: 9783642548635
Editor: Springer Nature B.V.
Data de Lançamento: março de 2014
Idioma: Inglês
Dimensões: 156 x 234 x 20 mm
Encadernação: Capa mole
Páginas: 672
Tipo de produto: Livro
Coleção: Springerbriefs In Cooperating Objects
Classificação Temática: Livros em Inglês > Outros
EAN: 9783642548635