Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops José Proença

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

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

Autor: José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
73.76 €
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd Int...

Informácie o knihe

Autor
José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2025
Stránok
400
EAN
9783031947476
Enbook ID
48689209
Vydavateľ
Springer, Berlin
Hmotnosť
426
Rozmery
155 x 235

Kompletný popis

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.

Mohlo by vás zaujímať

Introduction to Sociology 2e

HEATHER GRIFFITHS
20.73 €

Engaging with Social Work

Christine (Queensland University of Technology) Morley
83.94 €

Systems Thinking for Sustainable Development

Edward Saja Sanneh
82.86 €

The Husband

John Simpson
6.15 €

Neoliberalism: A Very Short Introduction

Steger
9.68 €

Rupturing Architecture

Sana Murrani
119.55 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Kontinuierliches Wissensmanagement in IT-Dienstleistungsunternehmen

Ralf Möckel
41.38 €

Lachen verboten

Renate Loewenberg
7.62 €

Pornografía y masturbación en la adolescencia

Víctor Daniel Gil Vera
31.01 €

Magi - The Labyrinth of Magic - tome 33

Shinobu Ohtaka
9.77 €

Entretantos

Célia Marinangelo
29.93 €

GOODBYE, MY ROSE GARDEN 02

Dr. Pepperco
14.86 €