Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV - Lecture Notes in Co - - Grāmatas - Springer Nature Switzerland AG - 9783030837228 - 2021. gada 5. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV - Lecture Notes in Co 1st ed. 2021 edition

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 17. - 25. nov.
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 four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.

265 pages, 72 Illustrations, color; 17 Illustrations, black and white; XII, 265 p. 89 illus., 72 ill

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2021. gada 5. augusts
ISBN13 9783030837228
Izdevēji Springer Nature Switzerland AG
Lapas 265
Izmēri 150 × 220 × 10 mm   ·   433 g
Valoda Vācu  
Redaktors Margaria, Tiziana
Redaktors Steffen, Bernhard

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