Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Name: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Brand: Springer, Berlin
SKU: 9783031947476
Price: 29093 HUF
Availability: InStock

ReactTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

Szerző: José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

29 093 Ft

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd Int...

Információk a könyvről

Szerző

José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2025

oldal

400

EAN

9783031947476

Enbook ID

48689209

Kiadó

Springer, Berlin

Súly

426

Méretek

155 x 235

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

ReactTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

Információk a könyvről

Teljes leírás

Érdekelheti

British Poetry of the Second World War

Studio Ghibli Princess Mononoke: 30 Postcards

Wyatt

Rupturing Architecture

The Bloomsbury Handbook of Modernist Archives

Neoliberalism: A Very Short Introduction

The Husband

Systems Thinking for Sustainable Development

Fashioning Regulation, Regulating Fashion

Engaging with Social Work

Introduction to Sociology 2e

The Woman on the Shelf: How one Woman used Worship, Friendship and Purpose during her Season of Singleness

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Magi - The Labyrinth of Magic - tome 33

Entretantos

GOODBYE, MY ROSE GARDEN 02

Sector da energia

Pornografía y masturbación en la adolescencia

Lachen verboten

Schule des Bewusstseins

L'Abrégé des contes perdus d'Emily Wilde - Tome 03 (broché)

Kontinuierliches Wissensmanagement in IT-Dienstleistungsunternehmen

Přehled vyjmenovaných slov