Get Free Shipping on orders over $79
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops : ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers - Graham Pluck
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

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

By: Graham Pluck (Editor), Reinhard Kahle (Editor), Raul Fervari (Editor), Manuel A. Martins (Editor), Jose Proenca (Editor)

Paperback | 12 September 2025

At a Glance

Paperback


$129.00

or 4 interest-free payments of $32.25 with

 or 

Ships in 5 to 7 business days

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.

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$36.75

26%
OFF
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang
The Psychology of Software Teams - Cat Hicks

RRP $67.99

$65.75

C# 12 Pocket Reference : Instant Help for C# 12 Programmers - Joseph Albahari