Articles liés à Software Engineering and Formal Methods: 22nd International...
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 65,94
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Software Engineering and Formal Methods: 22nd International...
Image fournie par le vendeur
Software Engineering and Formal Methods
Edité par
Springer Verlag GmbH, 2024
ISBN 10 : 3031773810
ISBN 13 : 9783031773815
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N° de réf. du vendeur 1902180263
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science)
Edité par
Springer, 2024
ISBN 10 : 3031773810
ISBN 13 : 9783031773815
Ancien ou d'occasion
Couverture souple
Vendeur : Marlton Books, Bridgeton, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2024. N° de réf. du vendeur AB-001352
Quantité disponible : 1 disponible(s)
Image d'archives
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings: 15280 (Lecture Notes in Computer Science, 15280)
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 477 pages. 6.14x0.97x9.21 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __3031773810
Quantité disponible : 2 disponible(s)
Image d'archives
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783031773815_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Edité par
Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10 : 3031773810
ISBN 13 : 9783031773815
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783031773815
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Software Engineering and Formal Methods
Edité par
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10 : 3031773810
ISBN 13 : 9783031773815
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 462 pp. Englisch. N° de réf. du vendeur 9783031773815
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Software Engineering and Formal Methods
ISBN 10 : 3031773810
ISBN 13 : 9783031773815
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch. N° de réf. du vendeur 9783031773815
Quantité disponible : 2 disponible(s)
Image d'archives
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783031773815
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26403544838
Quantité disponible : 4 disponible(s)
Image d'archives
Software Engineering and Formal Methods (Paperback)
Edité par
Springer International Publishing AG, Cham, 2024
ISBN 10 : 3031773810
ISBN 13 : 9783031773815
Neuf
Paperback
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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 our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9783031773815
Quantité disponible : 1 disponible(s)