Leveraging Applications of Formal Methods Verification and Validation Industri -  - Grāmatas - Springer Nature Switzerland AG - 9783030034269 - 2018. gada 30. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Leveraging Applications of Formal Methods Verification and Validation Industri 1st ed. 2018 edition


Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.


530 pages, 250 Illustrations, color; 113 Illustrations, black and white; XIV, 530 p. 363 illus., 250

Mediji Grāmatas     Book
Izlaists 2018. gada 30. oktobris
ISBN13 9783030034269
Izdevēji Springer Nature Switzerland AG
Lapas 530
Izmēri 150 × 220 × 20 mm   ·   814 g
Valoda Vācu  
Redaktors Margaria, Tiziana
Redaktors Steffen, Bernhard

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