Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings -  - Libros - Springer Verlag, Singapore - 9789811550560 - 29 de julio de 2021
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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 29 de julio de 2021
ISBN13 9789811550560
Editores Springer Verlag, Singapore
Páginas 346
Dimensiones 150 × 220 × 10 mm   ·   503 g
Editor Ait-Ameur, Yamine
Editor Mery, Dominique
Editor Nakajima, Shin

Mere med samme udgiver