Formal aspects component software (239 Ergebnisse)

Softcover

Anbieter: Hamelyn, Madrid, M, SpanienHamelyn

Verkäufer/-in mit 5 Sternen

Diego Marmsoler; Meng Sun

Zustand: Gebraucht - Gut

EUR 21,76

EUR 11,99 Versand

Versand von Spanien nach USA

Anzahl: 1 verfügbar

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.…

Formal Aspects of Component Software

Sprache: Englisch

Verlag: Springer, 2024

Softcover

Anbieter: Hamelyn, Madrid, M, SpanienHamelyn

Verkäufer/-in mit 5 Sternen

Salaün, Gwen (EDT); Wijs, Anton (EDT)

Zustand: Gebraucht - Wie neu

EUR 23,94

EUR 11,99 Versand

Versand von Spanien nach USA

Anzahl: 1 verfügbar

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.…

Formal Aspects of Component Software : 17th International Conference, Facs 2021, Virtual Event, October 28?29, 2021, Proceedings

Sprache: Englisch

Verlag: Springer, 2021

3030906353 / 9783030906351

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Bae, Kyungmin (EDT); Ölveczky, Peter Csaba (EDT)

Zustand: Neu

EUR 48,03

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Aspects of Component Software : 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

Sprache: Englisch

Verlag: Springer, 2018

3030021459 / 9783030021450

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Arbab, Farhad (EDT); Jongmans, Sung-shik (EDT)

Zustand: Neu

EUR 52,26

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Aspects of Component Software : 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23?25, 2019, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

3030409139 / 9783030409135

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Proença, José (EDT); Lumpe, Markus (EDT)

Zustand: Neu

EUR 52,26

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Aspects of Component Software : 14th International Conference, Facs 2017, Braga, Portugal, October 10-13, 2017 - Proceedings

Sprache: Englisch

Verlag: Springer, 2017

3319680331 / 9783319680330

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Fiadeiro, Jose Luiz (EDT); Liu, Zhiming (EDT); Xue, Jinyun (EDT)

Zustand: Neu

EUR 52,26

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Aspects of Component Software : 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2014

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Arbab, Farhad (EDT); Ölveczky, Peter Csaba (EDT)

Zustand: Neu

EUR 53,60

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Aspects of Component Software : 8th International Symposium, Facs 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2012

3642357423 / 9783642357428

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Salaün, Gwen (EDT); Wijs, Anton (EDT)

Zustand: Neu

EUR 53,60

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Aspects of Component Software : 17th International Conference, Facs 2021, Virtual Event, October 28?29, 2021, Proceedings

Sprache: Englisch

Verlag: Springer, 2021

3030906353 / 9783030906351

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Barbosa, Luis Soares (EDT); Lumpe, Markus (EDT)

Zustand: Gebraucht - Wie neu

EUR 55,49

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Aspects of Component Software : 7th International Workshop, Facs 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 57,89

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Paperback or Softback)

Fiadeiro, Josï¿½ Luiz

Sprache: Englisch

Verlag: Springer 7/30/2014, 2014

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 60,33

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Book.

Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Guimarï¿½es, Portugal, October 14-16, 2010, Revised Selected Papers (Paperback or Softback)

Barbosa, Luis Soares

Sprache: Englisch

Verlag: Springer 3/9/2012, 2012

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Lanese, Ivan (EDT); Madelaine, Eric (EDT)

Zustand: Neu

EUR 60,33

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Guimarï¿½es, Portugal, October 14-16, 2010, Revised Selected Papers. Book.

Formal Aspects of Component Software : 11th International Symposium, Facs 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2015

3319153161 / 9783319153162

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Kouchnarenko, Olga (EDT); Khosravi, Ramtin (EDT)

Zustand: Neu

EUR 60,08

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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, 2017

3319576658 / 9783319576657

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

3319576658 / 9783319576657

Zustand: Neu

EUR 60,08

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers (Lecture Notes in Computer Science, 10231)

Sprache: Englisch

Verlag: Springer, 2017

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 62,51

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6921)

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

3319153161 / 9783319153162

Zustand: Neu

EUR 62,51

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

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, 8997)

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

3030021459 / 9783030021450

Zustand: Neu

EUR 62,51

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Lecture Notes in Computer Science, 11222)

Sprache: Englisch

Verlag: Springer, 2018

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Pasareanu, Corina S. (EDT); Salaün, Gwen (EDT)

Zustand: Neu

EUR 62,51

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: 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, 2013

3642358608 / 9783642358609

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Bae, Kyungmin (EDT); Ölveczky, Peter Csaba (EDT)

Zustand: Gebraucht - Wie neu

EUR 60,85

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Aspects of Component Software : 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

Sprache: Englisch

Verlag: Springer, 2018

3030021459 / 9783030021450

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Arbab, Farhad (EDT); Jongmans, Sung-shik (EDT)

Zustand: Gebraucht - Wie neu

EUR 61,83

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Aspects of Component Software : 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23?25, 2019, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

3030409139 / 9783030409135

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Proença, José (EDT); Lumpe, Markus (EDT)

Zustand: Gebraucht - Wie neu

EUR 62,53

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Aspects of Component Software : 14th International Conference, Facs 2017, Braga, Portugal, October 10-13, 2017 - Proceedings

Sprache: Englisch

Verlag: Springer, 2017

3319680331 / 9783319680330

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Barbosa, Luis Soares (EDT); Lumpe, Markus (EDT)

Zustand: Gebraucht - Wie neu

EUR 62,53

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Aspects of Component Software : 7th International Workshop, Facs 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Arbab, Farhad (EDT); Ölveczky, Peter Csaba (EDT)

Zustand: Gebraucht - Wie neu

EUR 63,23

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Aspects of Component Software : 8th International Symposium, Facs 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2012

3642357423 / 9783642357428

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 63,23

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Lecture Notes in Computer Science, 8348)

Sprache: Englisch

Verlag: Springer, 2014

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Fiadeiro, Jose Luiz (EDT); Liu, Zhiming (EDT); Xue, Jinyun (EDT)

Zustand: Neu

EUR 66,19

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Formal Aspects of Component Software : 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2014

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Kouchnarenko, Olga (EDT); Khosravi, Ramtin (EDT)

Zustand: Gebraucht - Wie neu

EUR 63,93

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Aspects of Component Software : 13th International Conference, Facs 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2017

3319576658 / 9783319576657

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Marmsoler, Diego (EDT); Sun, Meng (EDT)

Zustand: Gebraucht - Wie neu

EUR 64,08

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: As New. Unread book in perfect condition.

Formal Aspects of Component Software : 20th International Conference, Facs 2024, Milan, Italy, September 9?10, 2024, Proceedings

Sprache: Englisch

Verlag: Springer, 2024

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 64,63

EUR 2,36 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Formal Aspects of Component Software (Paperback)

Diego Marmsoler

Sprache: Englisch

Verlag: Springer International Publishing AG, Cham, 2024

Softcover

Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail

Verkäufer/-in mit 5 Sternen

303152182X / 9783031521829

Zustand: Neu

EUR 67,06

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

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 multiple locations in the US or from the UK, depending on stock availability.…

Formal Aspects of Component Software (Paperback)

Javier Camara

Sprache: Englisch

Verlag: Springer International Publishing AG, Cham, 2024

Softcover
Erstausgabe

Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail

Verkäufer/-in mit 5 Sternen