Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings: 14323 - Brossura
Sinossi
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.
The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Software Engineering and Formal Methods: 21st International...
Foto dell'editore
Software Engineering and Formal Methods : 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 46848547-n
Compra nuovo
EUR 65,94
Spedizione EUR 2,25
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Software Engineering and Formal Methods (Paperback)
Editore:
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031471148
ISBN 13: 9783031471148
Nuovo
Paperback
Prima edizione
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 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 19 full papers included in this book were carefully reviewed and selected from 41 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783031471148
Compra nuovo
EUR 68,27
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering and Formal Methods: 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
Editore:
Springer-Nature New York Inc, 2023
ISBN 10: 3031471148
ISBN 13: 9783031471148
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 390 pages. 9.25x6.10x0.81 inches. In Stock. This item is printed on demand. Codice articolo __3031471148
Compra nuovo
EUR 65,05
Spedizione EUR 14,36
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering and Formal Methods : 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 46848547
Compra usato
EUR 77,85
Spedizione EUR 2,25
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, 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 ria9783031471148_new
Compra nuovo
EUR 70,15
Spedizione EUR 13,76
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Software Engineering and Formal Methods : 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 46848547-n
Compra nuovo
EUR 71,31
Spedizione EUR 17,23
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Software Engineering and Formal Methods
Editore:
Springer Nature Switzerland Okt 2023, 2023
ISBN 10: 3031471148
ISBN 13: 9783031471148
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. 392 pp. Englisch. Codice articolo 9783031471148
Compra nuovo
EUR 69,54
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering and Formal Methods : 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 46848547
Compra usato
EUR 79,26
Spedizione EUR 17,23
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Software Engineering and Formal Methods
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 392. Codice articolo 26398553476
Compra nuovo
EUR 94,30
Spedizione EUR 3,39
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Software Engineering and Formal Methods
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 392. Codice articolo 18398553486
Compra nuovo
EUR 98,56
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili