Gesamtpreis (1 Artikel Artikel):
Versandziel:
formal aspects component software (50 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (50)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (44)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (50)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (30)
Sprache (1)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
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.
-
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.
-
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Auflage: 2012. 380 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,5 x 15,5 x 2,2 cm, Taschenbuch.
-
Formal Aspects of Component Software (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new.
-
Formal Aspects of Component Software: 20th International Conference, Facs 2024, Milan, Italy, September 910, 2024, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031712609 ISBN 13: 9783031712609
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,13
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 164 pages. 9.25x6.10x9.21 inches. In Stock.
-
Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Lecture Notes in Computer Science)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,57
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 264 pages. 9.25x6.10x0.59 inches. In Stock.
-
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 2325, 2019, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,74
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 272 pages. 9.25x6.10x0.67 inches. In Stock.
-
Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3030021459 ISBN 13: 9783030021450
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,38
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 312 pages. 9.25x6.10x0.71 inches. In Stock.
-
Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 3642272681 ISBN 13: 9783642272684
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,56
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 315 pages. 9.30x6.10x0.70 inches. In Stock.
-
Formal Aspects of Component Software: 8th International Symposium, Facs 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,41
EUR 14,44 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 379 pages. 9.25x6.10x0.86 inches. In Stock.
-
Formal Aspects Of Component Software
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,65
EUR 14,44 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2015 edition. 360 pages. 9.30x6.20x1.00 inches. In Stock.
-
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Lecture . / Programming and Software Engineering)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,65
EUR 14,44 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 390 pages. 9.25x6.10x0.80 inches. In Stock.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
EUR 48,37
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer International Publishing, 2017
ISBN 10: 3319576658 ISBN 13: 9783319576657
EUR 48,37
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642272681 ISBN 13: 9783642272684
EUR 48,74
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
-
Formal Aspects of Component Software: 13th International Conference, Facs 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319576658 ISBN 13: 9783319576657
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,15
EUR 28,88 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 300 pages. 9.25x6.10x0.68 inches. In Stock.
-
Formal Aspects of Component Software: 19th International Conference, Facs 2023, Virtual Event, October 26-27, 2023, Revised Selected Papers
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 97,43
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 251 pages. 9.25x6.10x0.53 inches. In Stock.
-
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 1011, 2022, Proceedings: 13712 (Lecture Notes in Computer Science, 13712)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 97,48
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 255 pages. 9.25x6.10x0.75 inches. In Stock.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Nov 2021, 2021
ISBN 10: 3030906353 ISBN 13: 9783030906351
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2013, 2013
ISBN 10: 3642358608 ISBN 13: 9783642358609
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.
-
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 100,68
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 287 pages. 9.00x6.00x0.75 inches. In Stock.
-
Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28¿29, 2021, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2021
ISBN 10: 3030906353 ISBN 13: 9783030906351
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031208714 ISBN 13: 9783031208713
EUR 61,55
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642358608 ISBN 13: 9783642358609
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Sep 2024, 2024
ISBN 10: 3031712609 ISBN 13: 9783031712609
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2018, 2018
ISBN 10: 3030021459 ISBN 13: 9783030021450
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing Sep 2017, 2017
ISBN 10: 3319680331 ISBN 13: 9783319680330
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Apr 2017, 2017
ISBN 10: 3319576658 ISBN 13: 9783319576657
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016.The 11 full papers presented together with one tool paper and 3 invited papers were carefully reviewed and selected from 27 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.
-
Formal Aspects of Component Software
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Feb 2020, 2020
ISBN 10: 3030409139 ISBN 13: 9783030409135
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.
