Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer, Berlin
SKU: 46867247
Price: 72.11 EUR
Availability: InStock
Author: Alexandre Madeira
ISBN: 9783031773815

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

Alexandre Madeira

Alexander Knapp

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 46867247

Nakladateľstvo Springer, Berlin, november 2023

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engi... Celý popis

Libristo kód: 46867247

174 b

72.11 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

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.