Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II - Lecture Notes in Computer Science - - Grāmatas - Springer International Publishing AG - 9783031197550 - 2022. gada 20. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II - Lecture Notes in Computer Science 1st ed. 2022 edition

Cena
€ 73,49

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

Paredzamā piegāde . gada 12. - 20. okt.

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

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;

427 pages, 68 Illustrations, color; 72 Illustrations, black and white; XIII, 427 p. 140 illus., 68 i

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2022. gada 20. oktobris
ISBN13 9783031197550
Izdevēji Springer International Publishing AG
Lapas 427
Izmēri 150 × 220 × 10 mm   ·   676 g
Valoda Vācu  
Redaktors Margaria, Tiziana
Redaktors Steffen, Bernhard

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