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

Precio
$ 106,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.
Añadir a tu lista de deseos de iMusic

También disponible como:

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

Mere med samme udgiver