Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

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

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops José Proença
Libristo code: 48689209
Publishers Springer, Berlin, November 2024
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd Int... Full description
? points 201 b
30 034 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kontinuierliches Wissensmanagement in IT-Dienstleistungsunternehmen Ralf Möckel / Book Paperback
common.buy 16 964 Ft
Lachen verboten Renate Loewenberg / Book Paperback
common.buy 3 069 Ft
Pornografía y masturbación en la adolescencia Víctor Daniel Gil Vera / Book Paperback
common.buy 12 725 Ft
Magi - The Labyrinth of Magic - tome 33 Shinobu Ohtaka / Book Paperback
common.buy 3 551 Ft
Entretantos Célia Marinangelo / Book Paperback
common.buy 12 696 Ft
GOODBYE, MY ROSE GARDEN 02 Dr. Pepperco / Book Paperback
common.buy 5 571 Ft
L'Abrégé des contes perdus d'Emily Wilde - Tome 03 (broché) Heather Fawcett / Book Hardback
common.buy 8 607 Ft

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.
Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Author José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
Language English
Binding Book - Paperback
Date of issue 2025
Number of pages 400
EAN 9783031947476
Libristo code 48689209
Publishers Springer, Berlin
Weight 426
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

British Poetry of the Second World War Linda M. Shires / Book Hardback
common.buy 65 322 Ft
Introduction to Sociology 2e HEATHER GRIFFITHS / Book Paperback
common.buy 8 806 Ft
Coming soon
Engaging with Social Work Christine (Queensland University of Technology) Morley / Book Paperback
common.buy 32 985 Ft
Systems Thinking for Sustainable Development Edward Saja Sanneh / Book Paperback
common.buy 33 792 Ft
The Husband John Simpson / Book Paperback
common.buy 2 635 Ft
Neoliberalism: A Very Short Introduction Steger / Book Paperback
common.buy 4 235 Ft
Rupturing Architecture Sana Murrani / Book Hardback
common.buy 47 999 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?