Isbn: 9783031773815 - software engineering and formal methods: 22nd international conference, sefm 2024, aveiro, portugal, november 6-8, 2024, proceedings: 15280 (15 risultati)

Condizione: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2024.

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.…

Condizione: New. In English.

Paperback. Condizione: Brand New. 477 pages. 6.14x0.97x9.21 inches. In Stock.

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 our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: new. Questo è un articolo print on demand.

Paperback. Condizione: Brand New. 477 pages. 6.14x0.97x9.21 inches. In Stock. This item is printed on demand.

Taschenbuch. Condizione: 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.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt 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.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 480 pp. Englisch.…