Hoofdkenmerken
Auteur:
Steffen, Bernhard
Redactie:
Steffen, Bernhard
Titel:
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, I
Uitgever:
Springer Nature Switzerland AG
ISBN:
9783030034269
ISBN boekversie:
9783030034276
Serie:
Theoretical Computer Science
Editie:
1st ed. 2018
Land van oorsprong:
Switzerland
Prijs:
€ 93.16
Verschijningsdatum:
30-10-2018
Bericht:
Langere levertijd (2-3 weken)
Inhoudelijke kenmerken
Leesniveau:
Professional & Vocational
Categorie:
Artificial intelligence
Geillustreerd:
250 Illustrations, color; 113 Illustrations, black and white; XIV, 530 p. 363 illus., 250 illus. in color.
Technische kenmerken
Verschijningsvorm:
Paperback / softback
Paginas:
530
Hoogte mm.:
235
Breedte mm.:
155
Gewicht gr.:
825
Inhoud: 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.
nl
en
