Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised ... Notes in Computer Science, Band 15551) - Softcover

9783031947476: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised ... Notes in Computer Science, Band 15551)

Softcover

ISBN 10: 3031947479 ISBN 13: 9783031947476

Verlag: Springer, 2025

Alle Exemplare dieser ISBN-Ausgabe

2 Gebraucht

Von EUR 90,14

15 Neu

Von EUR 65,43

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.

The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:

ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.
CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2025
Sprache: Englisch
ISBN 10: 3031947479
ISBN 13: 9783031947476
Einband: Taschenbuch
Anzahl der Seiten: 300
Herausgeber: Proen�a Jos�, Fervari Raul, Martins Manuel A., Kahle Reinhard, Pluck Graham
Kontakt zum Hersteller: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Gebraucht kaufen

Zustand: Wie neu

Unread book in perfect condition...

Diesen Artikel anzeigen

EUR 90,14

EUR 2,32 Versand
Versand innerhalb von USA

In den Warenkorb

Neu kaufen

Diesen Artikel anzeigen

EUR 65,43

EUR 6,80 Versand
Versand von Italien nach USA

In den Warenkorb

Suchergebnisse f�r Software Engineering and Formal Methods. SEFM 2024...

Beispielbild f�r diese ISBN

Software Engineering and Formal Methods SEFM 2024 Collocated Workshops (eng)

Proen�a, Jos�

Verlag: Springer, 2025

ISBN 10: 3031947479 ISBN 13: 9783031947476

Neu Softcover

Print-on-Demand

Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien

Verk�uferbewertung 3 von 5 Sternen

Zustand: new. Questo � un articolo print on demand. Bestandsnummer des Verk�ufers ST8TGNRT0W

Verk�ufer kontaktieren

Neu kaufen

EUR 65,43

EUR 6,80 Versand
Versand von Italien nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops : Reactts 2024 and Cifma 2024, Aveiro, Portugal, November 4?5, 2024, Revised Selected Papers

Proen�a, Jos� (EDT); Fervari, Raul (EDT); Martins, Manuel A. (EDT); Kahle, Reinhard (EDT); Pluck, Graham (EDT)

Verlag: Springer, 2025

ISBN 10: 3031947479 ISBN 13: 9783031947476

Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers 50953438-n

Verk�ufer kontaktieren

Neu kaufen

EUR 85,40

EUR 2,32 Versand
Versand innerhalb von USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)

Verlag: Springer, 2025

ISBN 10: 3031947479 ISBN 13: 9783031947476

Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verk�uferbewertung 4 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers I-9783031947476

Verk�ufer kontaktieren

Neu kaufen

EUR 87,80

Versand gratis
Versand innerhalb von USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops (Paperback)

Jose Proenca

Verlag: Springer International Publishing AG, Cham, 2025

ISBN 10: 3031947479 ISBN 13: 9783031947476

Neu Paperback

Anbieter: Grand Eagle Retail, Bensenville, IL, USA

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: new. Paperback. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verk�ufers 9783031947476

Verk�ufer kontaktieren

Neu kaufen

EUR 90,15

Versand gratis
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops : Reactts 2024 and Cifma 2024, Aveiro, Portugal, November 4?5, 2024, Revised Selected Papers

Proen�a, Jos� (EDT); Fervari, Raul (EDT); Martins, Manuel A. (EDT); Kahle, Reinhard (EDT); Pluck, Graham (EDT)

Verlag: Springer, 2025

ISBN 10: 3031947479 ISBN 13: 9783031947476

Gebraucht Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verk�ufers 50953438

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 90,14

EUR 2,32 Versand
Versand innerhalb von USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Jos� Proen�a

Verlag: Springer, Berlin, Springer Nature Switzerland, Springer, 2025

ISBN 10: 3031947479 ISBN 13: 9783031947476

Neu Taschenbuch

Print-on-Demand

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 volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. 291 pp. Englisch. Bestandsnummer des Verk�ufers 9783031947476

Verk�ufer kontaktieren

Neu kaufen

EUR 79,17

EUR 23,00 Versand
Versand von Deutschland nach USA

Anzahl: 2 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops : Reactts 2024 and Cifma 2024, Aveiro, Portugal, November 4?5, 2024, Revised Selected Papers

Proen�a, Jos� (EDT); Fervari, Raul (EDT); Martins, Manuel A. (EDT); Kahle, Reinhard (EDT); Pluck, Graham (EDT)

Verlag: Springer, 2025

ISBN 10: 3031947479 ISBN 13: 9783031947476

Gebraucht Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verk�ufers 50953438

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 93,35

EUR 17,40 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops : Reactts 2024 and Cifma 2024, Aveiro, Portugal, November 4?5, 2024, Revised Selected Papers

Proen�a, Jos� (EDT); Fervari, Raul (EDT); Martins, Manuel A. (EDT); Kahle, Reinhard (EDT); Pluck, Graham (EDT)

Verlag: Springer, 2025

ISBN 10: 3031947479 ISBN 13: 9783031947476

Neu Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers 50953438-n

Verk�ufer kontaktieren

Neu kaufen

EUR 95,96

EUR 17,40 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReactTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4?5, 2024, Revised . (Lecture Notes in Computer Science, 15551)

Verlag: Springer, 2025

ISBN 10: 3031947479 ISBN 13: 9783031947476

Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verk�uferbewertung 4 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers 26404282588

Verk�ufer kontaktieren

Neu kaufen

EUR 115,16

EUR 3,51 Versand
Versand innerhalb von USA

Anzahl: 4 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops (Paperback)

Jose Proenca

Verlag: Springer International Publishing AG, Cham, 2025

ISBN 10: 3031947479 ISBN 13: 9783031947476

Neu Paperback

Anbieter: CitiRetail, Stevenage, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: new. Paperback. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verk�ufers 9783031947476

Verk�ufer kontaktieren

Neu kaufen

EUR 76,45

EUR 42,92 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Es gibt 7 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen