Verwandte Artikel zu Formal Aspects of Component Software: 20th International...
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings: 15189 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2024
- ISBN 10 3031712609
- ISBN 13 9783031712609
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten168
- HerausgeberMarmsoler Diego, Sun Meng
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 48,37
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Formal Aspects of Component Software: 20th International...
Foto des Verkäufers
Formal Aspects of Component Software
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Bestandsnummer des Verkäufers 1780999005
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Aspects of Component Software : 20th International Conference, FACS 2024, Milan, Italy, September 9¿10, 2024, Proceedings
Verlag:
Springer Nature Switzerland, 2024
ISBN 10: 3031712609
ISBN 13: 9783031712609
Neu
Taschenbuch
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 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. Bestandsnummer des Verkäufers 9783031712609
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Aspects of Component Software
Verlag:
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031712609
ISBN 13: 9783031712609
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 141 pp. Englisch. Bestandsnummer des Verkäufers 9783031712609
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Aspects of Component Software
ISBN 10: 3031712609
ISBN 13: 9783031712609
Neu
Taschenbuch
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. Bestandsnummer des Verkäufers 9783031712609
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Aspects of Component Software: 20th International Conference, Facs 2024, Milan, Italy, September 910, 2024, Proceedings
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 164 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __3031712609
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science, 15189)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783031712609_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Aspects of Component Software
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers S0-9783031712609
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Formal Aspects of Component Software: 20th International Conference, Facs 2024, Milan, Italy, September 910, 2024, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 164 pages. 9.25x6.10x9.21 inches. In Stock. Bestandsnummer des Verkäufers x-3031712609
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Aspects of Component Software (Paperback)
Verlag:
Springer International Publishing AG, Cham, 2024
ISBN 10: 3031712609
ISBN 13: 9783031712609
Neu
Paperback
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9783031712609
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Aspects of Component Software (Paperback)
Verlag:
Springer International Publishing AG, Cham, 2024
ISBN 10: 3031712609
ISBN 13: 9783031712609
Neu
Paperback
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Bestandsnummer des Verkäufers 9783031712609
Anzahl: 1 verfügbar