Bertrand.pt - Structured Object-Oriented Formal Language And Method

Structured Object-Oriented Formal Language And Method

7th International Workshop, Sofl+Msvl 2017, Xi'An, China, November 16, 2017, Revised Selected Papers

 

idioma: Inglês
Editor: Springer International Publishing AG
Edição ou reimpressão: abril de 2018
Portes
Grátis
10%
54,37€
Poupe 5,44€ (10%) Cartão Leitor Bertrand
Sujeito a confirmação no Editor
portes grátis

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. model checking;

Structured Object-Oriented Formal Language And Method
7th International Workshop, Sofl+Msvl 2017, Xi'An, China, November 16, 2017, Revised Selected Papers
ISBN: 9783319901039 Ano de edição ou reimpressão: Editor: Springer International Publishing AG Idioma: Inglês Dimensões: 155 x 235 x 20 mm Encadernação: Capa mole Páginas: 219 Tipo de Produto: Livro Coleção: Theoretical Computer Science And General Issues Classificação Temática: Livros  >  Livros em Inglês  >  Informática  >  Programação
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.