Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part I - Lecture Notes in Computer Scienc - - Grāmatas - Springer Nature Switzerland AG - 9783032401076 - 2026. gada 8. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part I - Lecture Notes in Computer Scienc

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2026. gada 8. novembris
ISBN13 9783032401076
Izdevēji Springer Nature Switzerland AG
Lapas 472
Izmēri 150 × 220 × 10 mm   ·   675 g
Redaktors Margaria, Tiziana
Redaktors Steffen, Bernhard

Vairāk no tā paša izdevēja