imagem não disponível
Formal Methods And Software Engineering

Formal Methods And Software Engineering (eBook)

21st International Conference On Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings

 

idioma: Inglês
Editor: Springer International Publishing
Edição ou reimpressão: dezembro de 2019
72,65€
Disponibilidade Imediata
Ebook para ADE

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods. 

Outros livros da coleção

Preferential Voting Systems
20%
portes grátis
74,72€ 59,78€
Springer Nature Switzerland AG
The Programming Approach And The Demise Of Economics
20%
portes grátis
136,99€ 109,59€
Springer International Publishing AG
Formal Methods And Software Engineering
21st International Conference On Formal Engineering Methods, Icfem 2019, Shenzhen, China, November 5-9, 2019, Proceedings
ISBN: 9783030324094 Ano de edição ou reimpressão: 12-2019 Editor: Springer International Publishing Idioma: Inglês Tipo de Produto: eBook Coleção: Lecture Notes In Computer Science Formato: ePUB i Classificação Temática: eBooks  >  eBooks em Inglês  >  Informática  >  Programação

Sugestões

Computing Principles Teachers Pack V11
3,38€
eptsoft limited
X
O QUE É O CHECKOUT EXPRESSO?


O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.