Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

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

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer
SKU: 47701183
Price: 28461 HUF
Availability: InStock
Author: Alexandre Madeira
ISBN: 9783031773822

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Alexandre Madeira

Alexander Knapp

Language

English

E-book Adobe ePub DRM

Publishers Springer, November 2024

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engi... Full description

Libristo code: 47701183

195 b

28 461 Ft

In stock Immediate digital delivery

Customers also purchased

MEGA MALBUCH - OSTERMOTIVE - OSTERHASEN - OSTEREIER - OSTERKÜKEN - OSTERKORB - HAHN - HENNE - LUSTIGE OSTERBILDER Gabriele André

Hardback

12 100 Ft

DER ANFÄNGERLEITFADEN ZUR GRÜNDUNG IHRES EIGENEN UNTERNEHMENS ANDREA B. FAROUK

Paperback

6 144 Ft

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024.The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.