Meng sun (55 Ergebnisse)

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Zustand: Very Good. : Este libro presenta las actas de la 20ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2024, celebrada en Milán, Italia, del 9 al 10 de septiembre de 2024. Los 7 artículos completos y 1 artículo corto incluidos en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Están organizados en secciones temáticas de la siguiente manera: verificación y pruebas, modelos formales y seguridad y blockchain. Este libro es un recurso valioso para investigadores y profesionales interesados en los aspectos formales del software de componentes. EAN: 9783031712609 Tipo: Libros Categoría: Tecnología Título: Formal Aspects of Component Software Autor: Diego Marmsoler| Meng Sun Editorial: Springer Idioma: en Páginas: 138 Formato: tapa blanda.…

Zustand: As New. : Este libro presenta las actas de la 20ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2024, celebrada en Milán, Italia, del 9 al 10 de septiembre de 2024. Los 7 artículos completos y 1 artículo corto incluidos en este libro fueron cuidadosamente revisados y seleccionados de 16 presentaciones. Están organizados en secciones temáticas de la siguiente manera: verificación y pruebas, modelos formales y seguridad y blockchain. Este libro es un recurso valioso para investigadores y profesionales interesados en los aspectos formales del software de componentes. EAN: 9783031712609 Tipo: Libros Categoría: Tecnología Título: Formal Aspects of Component Software Autor: Diego Marmsoler| Meng Sun Editorial: Springer Idioma: en Páginas: 138 Formato: tapa blanda.…

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. In English.

Zustand: New.

Zustand: New. In English.

Paperback. Zustand: Brand New. 164 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Zustand: Brand New. 496 pages. 9.25x6.10x0.98 inches. In Stock.

Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018,held in Gold Coast, QLD, Australia, in November 2018.The 22 revised full papers presented together with 14 short papers were carefully reviewed andselected from 66 submissions.The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.…

Paperback. Zustand: Brand New. 241 pages. 9.25x6.10x0.71 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.…

Zustand: New. In English.

Zustand: New.

Taschenbuch. Zustand: Neu. Formal Aspects of Component Software | 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings | Diego Marmsoler (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2024 | Springer | EAN 9783031712609 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions.The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set CCIS 1918 and 1919 constitutes the refereed post-conference proceedings of the 8th International Conference on Cognitive Systems and Information Processing, ICCSIP 2023, held in Luoyang, China, during August 10-12, 2023.The 52 full papers presented in these proceedings were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections:Volume I :Award;Algorithm & Control; andApplication.VolumeII:Robotics & Bioinformatics; andVision.…