Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Spara

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

e-bok

, 2025

Engelska

1 089 kr

Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer

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.

Undertitel: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
Redaktör: Graham Pluck, Reinhard Kahle, Manuel A. Martins, Raul Fervari, Jose Proenca
ISBN: 9783031947483
Språk: Engelska
Utgivningsdatum: 2025-08-11
Förlag: Springer Nature Switzerland
Tillgängliga elektroniska format: Epub - Adobe DRM
Läs e-boken här: E-boksläsare i mobil/surfplatta
Läsplatta
Dator

Leverans

Digitala e-böcker och ljudböcker levereras direkt efter köpet och blir då tillgängliga i det digitala biblioteket under ditt konto. För fysiska produkter har vi gratis ekonomifrakt för privatpersoner från 249 kr. Vi erbjuder leverans till ombud, direkt till din brevlåda eller dörr, paketskåp, och hemleverans. Vilka leveransalternativ som är tillgängliga för dig framgår i kassan. Leveranstiden kan variera beroende på leveranssätt, adress, och om din beställning innehåller produkter med längre leveranstider. Den totala leveranstiden visas i kassan.

City Mail

Betalning

Du kan välja att betala med Apple Pay, kort (Visa eller Mastercard), eller via Klarna där du kan betala med Swish, kort, direktbetalning, faktura eller delbetalning. Genom att klicka på "Betala köp" godkänner du Kustoms och Adlibris allmänna villkor. Du kan ta del av hur dina personuppgifter behandlas i Adlibris personuppgiftspolicy, och i Kustoms dataskyddsinformation.

Returer

Hos Adlibris har du alltid 28 dagars ångerrätt från det att du mottagit din produkt. Returavgiften är 59 kr. Nedladdningsbara produkter omfattas inte av ångerrätten eftersom de levereras direkt efter köpet. För mer information om returer, återbetalning och reklamation, läs våra köpvillkor.

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Beskrivning

Produktinfo