Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part III - Lecture Notes in Computer Scie - - Grāmatas - Springer Nature Switzerland AG - 9783032401175 - 2026. gada 28. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part III - Lecture Notes in Computer Scie

Cena
€ 42,99
Paredzamā piegāde . gada 7. - 10. dec.
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
Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Tiks izlaists 2026. gada 28. novembris
ISBN13 9783032401175
Izdevēji Springer Nature Switzerland AG
Lapas 338
Izmēri 150 × 220 × 10 mm   ·   509 g   (Svars (aptuveni))
Redaktors Margaria, Tiziana
Redaktors Steffen, Bernhard

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