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

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

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties

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 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.

522 pages, 86 Illustrations, color; 89 Illustrations, black and white; XIV, 522 p. 175 illus., 86 il

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

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