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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Software Engineering and Formal Methods

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

Language EnglishEnglish
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
? points 197 b
81.39 €
In stock Immediate digital delivery

Customers also purchased

CAL'S JIG ORCHESTRE BILL CALHOUN Book binding.
common.buy 13.34 €
MEGA MALBUCH - OSTERMOTIVE - OSTERHASEN - OSTEREIER - OSTERKÜKEN - OSTERKORB - HAHN - HENNE - LUSTIGE OSTERBILDER Gabriele André / Book Hardback
common.buy 31.23 €
DER ANFÄNGERLEITFADEN ZUR GRÜNDUNG IHRES EIGENEN UNTERNEHMENS ANDREA B. FAROUK / Book Paperback
common.buy 16.07 €

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.

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
Author Alexandre Madeira, Alexander Knapp
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2024
EAN 9783031773822
Libristo code 47701183
Publishers Springer

Categories

Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer hardware
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

State-centric to Contested Social Governance in Korea Hyuk-Rae Kim / Book Paperback
common.buy 75.22 €
Hard Line Colin Dueck / Book Paperback
common.buy 53.08 €
Tales of the Theotokos: Mary in the Personal, Historical, Scriptural, and Spiritual Realms John C Wilhelmsson / Book Paperback
common.buy 14.75 €
Mythologies W B Yeats / Book Paperback
common.buy 38.21 €
Scotland - Michelin Green Guide Michelin / Book Paperback
common.buy 18.19 €
Murder Repeated Lesley Cookman / Book Paperback
common.buy 12.22 €
Neuropsychologist's Guide to Training Psychometrists Christine S. Ghilain / E-book Adobe ePub DRM
common.buy 82.50 €
No Greater Love Karin M. Burke / E-book Adobe ePub DRM
common.buy 4.64 €

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?