Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings: 15280 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Software Engineering and Formal Methods: 22nd International...
Foto dell'editore
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science)
Da: Marlton Books, Bridgeton, NJ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2024. Codice articolo AB-001352
Compra usato
EUR 44,87
Spedizione EUR 2,57
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering and Formal Methods (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Codice articolo 6X1LADAAQW
Compra nuovo
EUR 62,23
Spedizione EUR 6,80
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
UNKNOWN
ISBN 10: 3031773810
ISBN 13: 9783031773815
Nuovo
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 49308318-n
Compra nuovo
EUR 70,97
Spedizione EUR 2,26
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Software Engineering and Formal Methods (Paperback)
Editore:
Springer International Publishing AG, Cham, 2024
ISBN 10: 3031773810
ISBN 13: 9783031773815
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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 68, 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. 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 68, 2024.The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783031773815
Compra nuovo
EUR 73,31
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering and Formal Methods (eng)
Da: Brook Bookstore, Milano, MI, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Codice articolo 6X1LADAAQW
Compra nuovo
EUR 57,50
Spedizione EUR 27,99
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings: 15280 (Lecture Notes in Computer Science, 15280)
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 477 pages. 6.14x0.97x9.21 inches. In Stock. This item is printed on demand. Codice articolo __3031773810
Compra nuovo
EUR 71,21
Spedizione EUR 14,41
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783031773815
Compra nuovo
EUR 85,70
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
UNKNOWN
ISBN 10: 3031773810
ISBN 13: 9783031773815
Antico o usato
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 49308318
Compra usato
EUR 84,92
Spedizione EUR 2,26
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783031773815_new
Compra nuovo
EUR 76,33
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
UNKNOWN
ISBN 10: 3031773810
ISBN 13: 9783031773815
Nuovo
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 49308318-n
Compra nuovo
EUR 73,87
Spedizione EUR 17,29
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili