Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings - - Libros - Springer Verlag, Singapore - 9789811550539 - 28 de julio de 2020
En caso de que portada y título no coincidan, el título será el correcto

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

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 28 de julio de 2020
ISBN13 9789811550539
Editores Springer Verlag, Singapore
Páginas 346
Dimensiones 150 × 220 × 20 mm   ·   680 g
Editor Ait-Ameur, Yamine
Editor Mery, Dominique
Editor Nakajima, Shin

Más del mismo editor