Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings -  - Livros - Springer Verlag, Singapore - 9789811550560 - 29 de julho de 2021
Caso a capa e o título não sejam correspondentes, considere o título como correto

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings 2021 edition

Preço
R$ 568,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 7 - 13 de out
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

346 pages, 29 Illustrations, color; 109 Illustrations, black and white; XII, 346 p. 138 illus., 29 i

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 29 de julho de 2021
ISBN13 9789811550560
Editoras Springer Verlag, Singapore
Páginas 346
Dimensões 150 × 220 × 10 mm   ·   503 g
Editor Ait-Ameur, Yamine
Editor Mery, Dominique
Editor Nakajima, Shin

Mais da mesma editora