Zustand: Muy bueno. : 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: Como nuevo. : 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 54,01
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: new.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 63,85
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 73,79
Anzahl: 4 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 69,14
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 78,21
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 78,21
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031712609 ISBN 13: 9783031712609
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,05
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 164 pages. 9.25x6.10x9.21 inches. In Stock.
Zustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3030024490 ISBN 13: 9783030024499
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,49
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 496 pages. 9.25x6.10x0.98 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 89,79
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 241 pages. 9.25x6.10x0.71 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 90,31
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 96,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 99,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 102,41
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Singapore|Science Press|Springer, 2023
ISBN 10: 9811664544 ISBN 13: 9789811664540
Anbieter: moluna, Greven, Deutschland
Zustand: New. This book highlights principles and applications of electromagnetic compatibility (EMC). After introducing the basic concepts, research progress, standardizations and limitations of EMC, the book puts emphasis on presenting the generation mechanisms and sup.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030024490 ISBN 13: 9783030024499
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
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.
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Singapore|Springer, 2023
ISBN 10: 9819980208 ISBN 13: 9789819980208
Anbieter: moluna, Greven, Deutschland
EUR 70,33
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Taschenbuch. Zustand: Neu. Formal Methods and Software Engineering | 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings | Jing Sun (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2018 | Springer | EAN 9783030024499 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
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.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 117,37
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 312 pages. 9.26x6.10x0.66 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2023
ISBN 10: 3031352564 ISBN 13: 9783031352560
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 118,28
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 376 pages. 9.25x6.10x0.78 inches. In Stock.
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Singapore|Springer, 2023
ISBN 10: 9819980178 ISBN 13: 9789819980178
Anbieter: moluna, Greven, Deutschland
EUR 83,50
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 130,36
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 208 pages. 10.00x7.00x10.00 inches. In Stock.